PENELOPE: a graph based logic simulator for MOS circuits | IEEE Conference Publication | IEEE Xplore