%0 Conference Paper %1 conf/iccad/KoelblLM05 %A Kölbl, Alfred %A Lu, Yuan %A Mathur, Anmol %B ICCAD %D 2005 %I IEEE Computer Society %K %P 965-971 %T Embedded tutorial: formal equivalence checking between system-level models and RTL. %U http://dblp.uni-trier.de/db/conf/iccad/iccad2005.html#KoelblLM05 %@ 0-7803-9254-X

@inproceedings{conf/iccad/KoelblLM05, added-at = {2023-12-14T15:53:01.000+0100}, author = {Kölbl, Alfred and Lu, Yuan and Mathur, Anmol}, biburl = {https://www.bibsonomy.org/bibtex/206e931232158572b3fadb0a5736bb79c/admin}, booktitle = {ICCAD}, crossref = {conf/iccad/2005}, ee = {http://dl.acm.org/citation.cfm?id=1129737}, interhash = {f0bc81f80e55ee44f1ed422a9b9094c0}, intrahash = {06e931232158572b3fadb0a5736bb79c}, isbn = {0-7803-9254-X}, keywords = {}, pages = {965-971}, publisher = {IEEE Computer Society}, timestamp = {2023-12-14T15:53:01.000+0100}, title = {Embedded tutorial: formal equivalence checking between system-level models and RTL.}, url = {http://dblp.uni-trier.de/db/conf/iccad/iccad2005.html#KoelblLM05}, year = 2005 }