Functional Verification for SystemC Descriptions Using Constraint Solving

  title={Functional Verification for SystemC Descriptions Using Constraint Solving},
  author={Fabrizio Ferrandi and Michele Rendine and Donatella Sciuto},
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… CONTINUE READING
Highly Cited
This paper has 50 citations. REVIEW CITATIONS

4 Figures & Tables



Citations per Year

51 Citations

Semantic Scholar estimates that this publication has 51 citations based on the available data.

See our FAQ for additional information.