Automatic diagnosis may replace simulation for correcting simple design errors

Rectification of multiple logic design errors in multiple output circuits

DAC '94 Proceedings of the 31st annual Design Automation Conference

Error diagnosis for transistor-level verification

DAC '94 Proceedings of the 31st annual Design Automation Conference

Concurrent design methodology and configuration management of the SIEMENS EWSD-CCS7E processor system simulation

DAC '95 Proceedings of the 32nd annual ACM/IEEE Design Automation Conference

Formal Verification of VHDL Descriptions in the Prevail Environment

IEEE Design & Test

Design error diagnosis in sequential circuits

CHARME '95 Proceedings of the IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods