Alfred Koelbl, Yuan Lu, Anmol Mathur. Embedded tutorial: formal equivalence checking between system-level models and RTL. In 2005 International Conference on Computer-Aided Design (ICCAD 05), November 6-10, 2005, San Jose, CA, USA. pages 965-971, IEEE Computer Society, 2005.
@inproceedings{KoelblLM05,
title = {Embedded tutorial: formal equivalence checking between system-level models and RTL},
author = {Alfred Koelbl and Yuan Lu and Anmol Mathur},
year = {2005},
tags = {model checking, meta-model, Meta-Environment},
researchr = {https://researchr.org/publication/KoelblLM05},
cites = {0},
citedby = {0},
pages = {965-971},
booktitle = {2005 International Conference on Computer-Aided Design (ICCAD 05), November 6-10, 2005, San Jose, CA, USA},
publisher = {IEEE Computer Society},
isbn = {0-7803-9254-X},
}