[ACM Press the 21st edition of the great lakes symposium - Lausanne, Switzerland (2011.05.02-2011.05.04)] Proceedings of the 21st edition of the great lakes symposium on Great lakes symposium on VLSI - GLSVLSI '11 - Simulation-based equivalence checking between SystemC models at different levels of abstraction
Große, Daniel, Groß, Markus, Kühne, Ulrich, Drechsler, RolfYear:
2011
Language:
english
DOI:
10.1145/1973009.1973054
File:
PDF, 421 KB
english, 2011