SystemC
An automatic testbench generation tool for a SystemC functional verification methodology
SBCCI '04 Proceedings of the 17th symposium on Integrated circuits and system design
EFSM Manipulation to Increase High-Level ATPG Effectiveness
ISQED '06 Proceedings of the 7th International Symposium on Quality Electronic Design
Formal verification of systemc designs using a petri-net based representation
Proceedings of the conference on Design, automation and test in Europe: Proceedings
JTRES '06 Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems
Code-based test generation for validation of functional processor descriptions
TACAS'03 Proceedings of the 9th international conference on Tools and algorithms for the construction and analysis of systems
An alternative to SAT-Based approaches for bit-vectors
TACAS'10 Proceedings of the 16th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Hi-index | 0.00 |
This paper addresses the problem of test vectors generationstarting from an high level description of the systemunder test, specified in SystemC. The verification methodconsidered is based upon the simulation of input sequences.The system model adopted is the classical Finite State Machinemodel. Then, according to different strategies, a setof sequences can be obtained, where a sequence is an orderedset of transitions. For each of these sequences, a setof constraints is extracted. Test sequences can be obtainedby generating and solving the constraints, by using a constraintsolver (GProlog). A solution of the constraint solveryields the values of the input signals for which a sequenceof transitions in the FSM is executed. If the constraints cannotbe solved, it implies that the corresponding sequencecannot be executed by any test. The presented algorithm isnot based on a specific fault model, but aims at reaching thehighest possible path coverage.