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

4 citations · 4 across the 1 of their papers we have counts for

collaborators

1 paper

cs.AI2003★ 4 cited

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…