VFSIM: vectorized fault simulator using a reduction technique excluding temporarily unobservable faults

Proofs: a fast, memory efficient sequential circuit fault simulator

DAC '90 Proceedings of the 27th ACM/IEEE Design Automation Conference

Concurrent fault simulation of logic gates and memory blocks on message passing multicomputers

DAC '92 Proceedings of the 29th ACM/IEEE Design Automation Conference

HOPE: an efficient parallel fault simulator for synchronous sequential circuits

DAC '92 Proceedings of the 29th ACM/IEEE Design Automation Conference

Algorithm for vectorizing logic simulation and evaluation of “VELVET” performance

DAC '88 Proceedings of the 25th ACM/IEEE Design Automation Conference

Clock even suppression algorithm of VELVET and its application to S-820 development

DAC '88 Proceedings of the 25th ACM/IEEE Design Automation Conference

Parallel logic and fault simulation algorithms for shared memory vector machines

ICCAD '92 Proceedings of the 1992 IEEE/ACM international conference on Computer-aided design

HAL: A block level HArdware Logic simulator

DAC '83 Proceedings of the 20th Design Automation Conference

Critical path tracing - an alternative to fault simulation

DAC '83 Proceedings of the 20th Design Automation Conference

The concurrent simulation of nearly identical digital networks

DAC '73 Proceedings of the 10th Design Automation Workshop

Test generation systems in Japan

DAC '75 Proceedings of the 12th Design Automation Conference

A logic design structure for LSI testability

DAC '77 Proceedings of the 14th Design Automation Conference