282 articles – 2123 Notices  [english version]
Fiche concise Communications avec actes
Automatic diagnosis may replace simulation for correcting simple design errors
Wahba A. et al
in Proceedings-EURO-DAC-'96.-European-Design-Automation-Conference-with-EURO-VHDL-'96-and-Exhibition-Cat.-No.96CB36000 - Proceedings-EURO-DAC-'96.-European-Design-Automation-Conference-with-EURO-VHDL-'96-and-Exhibition-Cat.-No.96CB36000, Geneva : Switzerland (1996) - http://hal.archives-ouvertes.fr/hal-00014217
A. Wahba1, D. Borrione2
1 :  MENTOR GRAPHICS EGYPT - Mentor Graphics Egypt
Mentor
Cairo
Égypte
2 :  TIMA - Techniques of Informatics and Microelectronics for integrated systems Architecture
http://tima.imag.fr/
CNRS : UMR5159 – Université Joseph Fourier - Grenoble I – Institut National Polytechnique de Grenoble (INPG)
46 Av Félix Viallet 38031 GRENOBLE CEDEX 1
France
Sciences de l'ingénieur/Micro et nanotechnologies/Microélectronique
Automatic diagnosis may replace simulation for correcting simple design errors
An automated tool for diagnosing simple design errors in VHDL description is presented. The tool is tested on benchmark circuits, and the results show that the error is localized precisely, after the application of a small number of specially generated test patterns. This tool is now integrated within the PREVAIL/sup TM/ system, and is being tested on industrial circuits.
Anglais

10.1109/EURDAC.1996.558246
Proceedings-EURO-DAC-'96.-European-Design-Automation-Conference-with-EURO-VHDL-'96-and-Exhibition-Cat.-No.96CB36000
1996
476-81
IEEE Comput. Soc. Press, Los Alamitos, CA, USA

Proceedings-EURO-DAC-'96.-European-Design-Automation-Conference-with-EURO-VHDL-'96-and-Exhibition-Cat.-No.96CB36000
1996
Geneva
Suisse

automatic-diagnosis – simple-design-error-correction – VHDL-description – benchmark-circuits – specially-generated-test-patterns – industrial-circuits – combinational-circuits – sequential-circuits – test-pattern-generation
PACS 85.42
ISBN: 081867573X