Daniel Große, Markus Groß, Ulrich Kühne, Rolf Drechsler. Simulation-based equivalence checking between SystemC models at different levels of abstraction. In David Atienza, Yuan Xie, José L. Ayala, Ken S. Stevens, editors, Proceedings of the 21st ACM Great Lakes Symposium on VLSI 2010, Lausanne, Switzerland, May 2-6, 2011. pages 223-228, ACM, 2011. [doi]
@inproceedings{GrosseGKD11,
title = {Simulation-based equivalence checking between SystemC models at different levels of abstraction},
author = {Daniel Große and Markus Groß and Ulrich Kühne and Rolf Drechsler},
year = {2011},
doi = {10.1145/1973009.1973054},
url = {http://doi.acm.org/10.1145/1973009.1973054},
tags = {rule-based, model checking, meta-model, abstraction, Meta-Environment},
researchr = {https://researchr.org/publication/GrosseGKD11},
cites = {0},
citedby = {0},
pages = {223-228},
booktitle = {Proceedings of the 21st ACM Great Lakes Symposium on VLSI 2010, Lausanne, Switzerland, May 2-6, 2011},
editor = {David Atienza and Yuan Xie and José L. Ayala and Ken S. Stevens},
publisher = {ACM},
isbn = {978-1-4503-0667-6},
}