[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 - Hand-in-hand verification of high-level synthesis
Karfa, Chandan, Sarkar, Dipankar, Mandal, Chittaranjan, Reade, ChrisYear:
2007
Language:
english
DOI:
10.1145/1228784.1228885
File:
PDF, 606 KB
english, 2007