[IEEE Comput. Soc 2002 Design, Automation and Test in Europe Conference and Exhibition - Paris, France (4-8 March 2002)] Proceedings 2002 Design, Automation and Test in Europe Conference and Exhibition - Functional verification for SystemC descriptions using constraint solving
Ferrandi, F., Rendine, M., Sciuto, D.Year:
2002
Language:
english
DOI:
10.1109/date.2002.998382
File:
PDF, 321 KB
english, 2002