EXPAC: a parameter extractor and electrical verifier for VLSI ICs | Publicación