Automatic diagnosis may replace simulation for correcting simple design errors
EURO-DAC '96/EURO-VHDL '96 Proceedings of the conference on European design automation
Fault-simulation based design error diagnosis for sequential circuits
DAC '98 Proceedings of the 35th annual Design Automation Conference
Proceedings of the 2002 IEEE/ACM international conference on Computer-aided design
Connection Errors Location and Correction in Combinational Circuits
EDTC '97 Proceedings of the 1997 European conference on Design and Test
Learning to order BDD variables in verification
Journal of Artificial Intelligence Research
Automatic fault localization for property checking
HVC'06 Proceedings of the 2nd international Haifa verification conference on Hardware and software, verification and testing
Journal of Computer and System Sciences
CHARME'05 Proceedings of the 13 IFIP WG 10.5 international conference on Correct Hardware Design and Verification Methods
Hi-index | 0.00 |