Hierarchical multi-level fault simulation of large systems

A neutral netlist of 10 combinational benchmark circuits and a target translator in FORTRAN

F. Brglez · Medical Entomology and Zoology · 1985 · 1.3K citations

Engineering, Computer Engineering, Computer Science +10

A Switch-Level Model and Simulator for MOS Digital Systems

Bryant · IEEE Transactions on Computers · 1984 · 391 citations

Engineering, Computer Engineering, Electrical Engineering +17

Hazard Detection in Combinational and Sequential Switching Circuits

E. B. Eichelberger · IBM Journal of Research and Development · 1965 · 287 citations

Engineering, Computer Engineering, Electrical Engineering +15

COSMOS: a compiled simulator for MOS circuits

Randal E. Bryant, Derek L. Beatty, Karl S. Brace et al. · 1987 · 271 citations · Full text

Engineering, Computer Engineering, Electrical Engineering +14

Test Routines Based on Symbolic Logical Statements

Richard D. Eldred · Journal of the ACM · 1959 · 176 citations · Full text

Computing, Data Science, Knowledge Representation +5