J. A. Abrahamn

VERTEX: VERification of Transistor-level circuits based on model EXtraction

J. Moondanos, J. A. Wehbeh, J. A. Abrahamn, 1993, 1993 European Conference on Design Automation with the European Event in ASIC Design.