SCEMIT: a systemc error and mutation injection tool

8 years 9 months ago
SCEMIT: a systemc error and mutation injection tool
As high-level models in C and SystemC are increasingly used for verification and even design (through high-level synthesis) of electronic systems, there is a growing need for compatible error injection tools to facilitate further development of coverage metrics and automated diagnosis. This paper introduces SCEMIT, a tool for the automated injection of errors into C/C++/SystemC models. A selection of ‘mutation’ style errors are supported, and injection is performed though a plugin interface in the GCC compiler, which minimizes the impact of SCEMIT on existing simulation flows. Experimental injected error detection results are presented for the set of OSCI SystemC Example Models as well as the CHStone C High-Level-Synthesis benchmark set. Aside from demonstrating compatibility with these models, the results show the value of high-level error injection as a coverage measure compared to conventional code coverage measures. Categories and Subject Descriptors B.7.2 [Integrated Circui...
Peter Lisherness, Kwang-Ting (Tim) Cheng
Added 24 Jan 2011
Updated 24 Jan 2011
Type Journal
Year 2010
Where DAC
Authors Peter Lisherness, Kwang-Ting (Tim) Cheng
Comments (0)