%0 Conference Paper %1 conf/vlsi/TsepurovBDJRT12 %A Tsepurov, Anton %A Bartsch, Gunter %A Dorsch, Rainer %A Jenihhin, Maksim %A Raik, Jaan %A Tihhomirov, Valentin %B VLSI-SoC %D 2012 %E Katkoori, Srinivas %E Guthaus, Matthew R. %E Coskun, Ayse K. %E Burg, Andreas %E Reis, Ricardo %I IEEE %K dblp %P 171-176 %T A scalable model based RTL framework zamiaCAD for static analysis. %U http://dblp.uni-trier.de/db/conf/vlsi/vlsisoc2012.html#TsepurovBDJRT12 %@ 978-1-4673-2657-5

@inproceedings{conf/vlsi/TsepurovBDJRT12, added-at = {2022-09-06T00:00:00.000+0200}, author = {Tsepurov, Anton and Bartsch, Gunter and Dorsch, Rainer and Jenihhin, Maksim and Raik, Jaan and Tihhomirov, Valentin}, biburl = {https://www.bibsonomy.org/bibtex/218c61e8a5fe1379636207a5f59b48c60/dblp}, booktitle = {VLSI-SoC}, crossref = {conf/vlsi/2012soc}, editor = {Katkoori, Srinivas and Guthaus, Matthew R. and Coskun, Ayse K. and Burg, Andreas and Reis, Ricardo}, ee = {https://doi.org/10.1109/VLSI-SoC.2012.6379025}, interhash = {2656e10a2ba73d702effa08c093c69a2}, intrahash = {18c61e8a5fe1379636207a5f59b48c60}, isbn = {978-1-4673-2657-5}, keywords = {dblp}, pages = {171-176}, publisher = {IEEE}, timestamp = {2024-04-09T12:01:32.000+0200}, title = {A scalable model based RTL framework zamiaCAD for static analysis.}, url = {http://dblp.uni-trier.de/db/conf/vlsi/vlsisoc2012.html#TsepurovBDJRT12}, year = 2012 }