Hardware Diagnosis as Program Debugging
نویسنده
چکیده
Horn clauses provide a useful framework for writing executable structural representations for digital circuits. This paper discusses how these representations can be used to diagnose faulty circuits using algorithmic program debugging techniques developed by Shapiro. The sound theoretical basis of these techniques is one of the major advantages of this approach. This framework also provides a new perspective on some of the hardware diagnosis techniques suggested in the literature.
منابع مشابه
Debugging synthesizeable VHDL Programs
This paper describes the use of model-based diagnosis for locating bugs in hardware designs. We restrict our view to hardware designs written in a subset of the commonly used hardware description language VHDL. This subset includes all synthesizeable (register transfer level) programs. This are programs which can be automatically converted into a gate level description without changing their be...
متن کاملModel-Based Program Debugging and Repair
The current state of the art in integrated circuit design is based on the use of special hardware design languages such as VHDL. In the context of the development of an intelligent, knowledge-based debugging aid for VHDL programs, we are dealing with analysis and diagnosis of a subset of VHDL (which is similar to conventional concurrent programming languages). We present an adaptation of conven...
متن کاملNew Directions in Debugging Hardware Designs
This paper introduces a new approach in the debugging of hardware designs. The design is given as a VHDL program and converted in a component connection model. The conversion is similar to the synthesis of register transfer into gate level programs. The resulting model is directly used for locating faults within the design. To do this, we propose the application of model-based diagnosis. The ad...
متن کاملDebugging VHDL designs using model-based reasoning
The application of formal methods in software engineering and hardware design has become an important field of research. It aims at minimizing time to market and reduce the overall development costs. While formal verification, e.g., model-checking, is widely used, methods for helping programmers or engineers in locating and fixing faults within a hardware design or software are rarely available...
متن کاملModel-Based Diagnosis of Hardware Description Languages
This paper discusses the use of fault models for the diagnosis of hardware designs written in the VHDL hardware description language. VHDL designs are concurrent programs consisting of hundreds of thousands of lines of source code, whose testing and debugging is a very time-consuming process. Building on an abstract representation that allows the search for errors in even the largest VHDL progr...
متن کامل