HAL: A block level HArdware Logic simulator
DAC '83 Proceedings of the 20th Design Automation Conference
Simulating pass transistor circuits using logic simulation machines
DAC '83 Proceedings of the 20th Design Automation Conference
Quality level and fault coverage for multichip modules
DAC '83 Proceedings of the 20th Design Automation Conference
A design verification methodology based on concurrent simulation and clock suppression
DAC '83 Proceedings of the 20th Design Automation Conference
LSI product quality and fault coverage
DAC '81 Proceedings of the 18th Design Automation Conference
The concurrent simulation of nearly identical digital networks
DAC '73 Proceedings of the 10th Design Automation Workshop
The Yorktown Simulation Engine: Introduction
DAC '82 Proceedings of the 19th Design Automation Conference
DAC '82 Proceedings of the 19th Design Automation Conference
Hi-index | 0.00 |
Software fault simulation programs. whether serial. parallel. deductive or concurrent. have been the accepted approach for grading test patterns or qualifying diagnostic programs. With the advent of hardware simulation engines. a potentially faster method of doing fault simulation has arisen. This paper reports on a new methodology for the use of both a hardware simulation engine and a concurrent software simulator to assist in verifying hardware diagnostic programs.