Automatic diagnosis may replace simulation for correcting simple design errors

Ayman M. Wahba, Dominique Borrione. Automatic diagnosis may replace simulation for correcting simple design errors. In Graham Symonds, Wolfgang Nebel, editors, Proceedings of the conference on European design automation, EURO-DAC '96/EURO-VHDL '96, Geneva, Switzerland, September 16-20, 1996. pages 476-481, IEEE Computer Society Press, 1996. [doi]

Authors

Ayman M. Wahba

This author has not been identified. Look up 'Ayman M. Wahba' in Google

Dominique Borrione

This author has not been identified. Look up 'Dominique Borrione' in Google