Corpus ID: 1997282

VHDLDIAG+: Value-level Diagnosis of VHDL Programs

@inproceedings{Stumptner1998VHDLDIAGVD,
  title={VHDLDIAG+: Value-level Diagnosis of VHDL Programs},
  author={M. Stumptner and F. Wotawa},
  year={1998}
}
  • M. Stumptner, F. Wotawa
  • Published 1998
  • Computer Science
  • We describe the application of model-based diagnosis to the debugging of VHDL programs. In our previous work in VHDL-based software diagnosis, we have relied upon a very abstract representation to make it possible to diagnose ful lsized applications (up to 1MLOC) at the cost of reduced discrimination between diagnoses. This paper describes a more detailed representation for VHDL programs that explicitly reasons about the computation of variable and signal values, making it possible to examine… CONTINUE READING

    Figures and Topics from this paper.

    Consistency-based diagnosis of configuration knowledge bases
    • 251
    • PDF
    Debugging Hardware Designs Using a Value-Based Model
    • 30
    Debugging synthesizeable VHDL Programs
    • 9
    Using Model-Based Reasoning for Locating Faults in VHDL Designs
    • 8
    DiKe - a model-based diagnosis kernel and its application
    • 9
    • PDF
    JADE - AI Support for Debugging Java Programs
    • 4
    • PDF
    Detecting and Locating Faults in Hardware Designs
    • 2
    • PDF
    An Environment and Language for Industrial Use of Model-based Diagnosis
    • 2
    • PDF
    Test Patterns for Verilog Design Error Localization
    • 1

    References

    Publications referenced by this paper.
    SHOWING 1-10 OF 11 REFERENCES
    Diagnosing Multiple Faults
    • 2,218
    • PDF
    A Theory of Diagnosis from First Principles
    • 3,014
    • PDF
    VHDL: Analysis and Modeling of Digital Systems
    • 338
    • PDF
    Characterizing Diagnoses
    • 118
    • PDF
    Logic programs for consistency-based diagnosis
    • 29
    • PDF
    Model-based diagnosis of hardware description languages
    • 4
    No Faults in Structure? How to Diagnose Hidden Interactions
    • 32
    • PDF
    A theory of diagnosis from first principles.Artificial
    • 1987