Hierarchical multi-level fault simulation of large systems

Algorithms for fast, memory efficient switch-level fault simulation

DAC '91 Proceedings of the 28th ACM/IEEE Design Automation Conference

Iterative [simulation-based genetics + deterministic techniques]= complete ATPG0

ICCAD '94 Proceedings of the 1994 IEEE/ACM international conference on Computer-aided design

Fault behavior dictionary for simulation of device-level transients

ICCAD '93 Proceedings of the 1993 IEEE/ACM international conference on Computer-aided design

System Verification Using Multilevel Concurrent Simulation

IEEE Micro