Modular requirements for digital logic simulation at a predefined functional level

Exclusive simulation of activity in digital networks

Communications of the ACM

Asynchronous Sequential Switching Circuit

Asynchronous Sequential Switching Circuit

TEGAS2—anatomy of a general purpose TEST GENERATION AND SIMULATION system for digital logic

DAC '72 Proceedings of the 9th Design Automation Workshop

Programming languages for non-numeric processing—2: Time sequenced logical simulation based on circuit delay and selective tracing of active network paths

ACM '65 Proceedings of the 1965 20th national conference

High-speed fault simulation for UNIVAC 1107 computer system

ACM '68 Proceedings of the 1968 23rd ACM national conference

Time flow mechanisms for use in digital logic simulation

WSC '71 Proceedings of the 5th conference on Winter simulation