Symbolic debugging of embedded hardware and software

Farinaz Koushanfar, Darko Kirovski, Inki Hong, Miodrag Potkonjak, Marios C. Papaefthymiou. Symbolic debugging of embedded hardware and software. IEEE Trans. on CAD of Integrated Circuits and Systems, 20(3):392-401, 2001. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: