GateMaker: a transistor to gate level model extractor for simulation, automatic test pattern generation and verification | IEEE Conference Publication | IEEE Xplore