Fabrizio Ferrandi, Michele Rendine, Donatella Sciuto. Functional Verification for SystemC Descriptions Using Constraint Solving. In 2002 Design, Automation and Test in Europe Conference and Exposition (DATE 2002), 4-8 March 2002, Paris, France. pages 744-751, IEEE Computer Society, 2002. [doi]
@inproceedings{FerrandiRS02,
title = {Functional Verification for SystemC Descriptions Using Constraint Solving},
author = {Fabrizio Ferrandi and Michele Rendine and Donatella Sciuto},
year = {2002},
url = {http://csdl.computer.org/comp/proceedings/date/2002/1471/00/14710744abs.htm},
tags = {constraints},
researchr = {https://researchr.org/publication/FerrandiRS02},
cites = {0},
citedby = {0},
pages = {744-751},
booktitle = {2002 Design, Automation and Test in Europe Conference and Exposition (DATE 2002), 4-8 March 2002, Paris, France},
publisher = {IEEE Computer Society},
isbn = {0-7695-1471-5},
}