![](/img/cover-not-exists.png)
[ACM Press the 17th great lakes symposium - Stresa-Lago Maggiore, Italy (2007.03.11-2007.03.13)] Proceedings of the 17th great lakes symposium on Great lakes symposium on VLSI - GLSVLSI '07 - Improvements for constraint solving in the systemc verification library
Große, Daniel, Ebendt, Rüdiger, Drechsler, RolfYear:
2007
Language:
english
DOI:
10.1145/1228784.1228901
File:
PDF, 223 KB
english, 2007