1. LSI/VLSI Design Automation;Raymond;Computer,1981
2. LAMP: logic circuit simulators;Chappell;Bell Syst. Tech. J.,1974
3. Electrical-logic simulation and its applications;Kim;IEEE Trans. Computer-aided Design,1989
4. MOSSIM: a switch-level simulator for MOS LSI;Bryant,1981
5. Sable: a tool for generating structured, multi-level simulations;Hill,1979