Modeling State in Software Debugging of VHDL-RTL Designs -- A Model-Based Diagnosis Approach

Bernhard Peischl, Franz Wotawa

In this paper we outline an approach of applying model-based diagnosis to the field of automatic software debugging of hardware designs. We present our value-level model for debugg…