Debug enhancements in assertion-checker generation

Marc Boule, Jean-Samuel Chenard, Zeljko Zilic. Debug enhancements in assertion-checker generation. IET Computers & Digital Techniques, 1(6):669-677, 2007. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: