ACM Transactions on Programming Languages and Systems (TOPLAS)
Graph-Based Algorithms for Boolean Function Manipulation
IEEE Transactions on Computers
Chortle-crf: Fast technology mapping for lookup table-based FPGAs
DAC '91 Proceedings of the 28th ACM/IEEE Design Automation Conference
Formal hardware verification methods: a survey
Formal Methods in System Design - Special issue on computer-aided verification: general methods
Fitting formal methods into the design cycle
DAC '94 Proceedings of the 31st annual Design Automation Conference
Fast discrete function evaluation using decision diagrams
ICCAD '95 Proceedings of the 1995 IEEE/ACM international conference on Computer-aided design
Fast functional simulation using branching programs
ICCAD '95 Proceedings of the 1995 IEEE/ACM international conference on Computer-aided design
Parallel timing simulation on a distributed memory multiprocessor
ICCAD '93 Proceedings of the 1993 IEEE/ACM international conference on Computer-aided design
Parallel logic simulation on general purpose machines
DAC '88 Proceedings of the 25th ACM/IEEE Design Automation Conference
Asynchronous distributed simulation via a sequence of parallel computations
Communications of the ACM - Special issue on simulation modeling and statistical computing
Exclusive simulation of activity in digital networks
Communications of the ACM
Emulation verification of the Motorola 68060
ICCD '95 Proceedings of the 1995 International Conference on Computer Design: VLSI in Computers and Processors
Logic synthesis for a single large look-up table
ICCD '95 Proceedings of the 1995 International Conference on Computer Design: VLSI in Computers and Processors
Boolean Satisfiability and Equivalence Checking Using General Binary Decision Diagrams
ICCD '91 Proceedings of the 1991 IEEE International Conference on Computer Design on VLSI in Computer & Processors
HAL: A block level HArdware Logic simulator
DAC '83 Proceedings of the 20th Design Automation Conference
TEGAS2—anatomy of a general purpose TEST GENERATION AND SIMULATION system for digital logic
DAC '72 Proceedings of the 9th Design Automation Workshop
The Yorktown Simulation Engine
DAC '82 Proceedings of the 19th Design Automation Conference
IEEE Transactions on Computers
| Hi-index | 0.01 |
Logic simulation is a critical step in the design of a logic circuit. With the growing complexity of designs today, a large number of test vectors needs to be applied to the circuit to determine if the circuit behaves logically as it is supposed to. Not surprisingly, then, simulation is one of the major bottlenecks in the design process. Significant advances have been made in both software and hardware simulation. We survey some of the recent advances, with an emphasis on their main ideas.