Diagnostic reasoning based on structure and behavior
Artificial Intelligence - Special volume on qualitative reasoning about physical systems
The use of design descriptions in automated diagnosis
Artificial Intelligence - Special volume on qualitative reasoning about physical systems
Chip-level modeling with VHDL
The VHDL Handbook
VHDL, Hardware Description and Design
VHDL, Hardware Description and Design
Failure Diagnosis of Structured VLSI
IEEE Design & Test
Automated Source-Level Error Localization in Hardware Designs
IEEE Design & Test
Hi-index | 0.00 |
The development and implementation of an algorithm that forms the basis of a very-high-speed integrated circuit hardware description language (VHDL) fault diagnosis tool (VFDT) are discussed. Given a VHDL description, a compiler creates an internal representation suitable for simulation and fault diagnosis. VFDT diagnoses faults in this representation hierarchically using the stuck-at fault model at the first level and the arbitrary-failure model at the second level. It reasons from first principles by means of constraint suspension. Examples of fault diagnosis using the VFDT are described.