Anton Tsepurov, Gunter Bartsch, Rainer Dorsch, Maksim Jenihhin, Jaan Raik, Valentin Tihhomirov. A scalable model based RTL framework zamiaCAD for static analysis. In Srinivas Katkoori, Matthew R. Guthaus, Ayse Kivilcim Coskun, Andreas Burg, Ricardo Reis, editors, 20th IEEE/IFIP International Conference on VLSI and System-on-Chip, VLSI-SoC 2012, Santa Cruz, CA, USA, October 7-10, 2012. pages 171-176, IEEE, 2012. [doi]
@inproceedings{TsepurovBDJRT12,
title = {A scalable model based RTL framework zamiaCAD for static analysis},
author = {Anton Tsepurov and Gunter Bartsch and Rainer Dorsch and Maksim Jenihhin and Jaan Raik and Valentin Tihhomirov},
year = {2012},
doi = {10.1109/VLSI-SoC.2012.6379025},
url = {http://dx.doi.org/10.1109/VLSI-SoC.2012.6379025},
researchr = {https://researchr.org/publication/TsepurovBDJRT12},
cites = {0},
citedby = {0},
pages = {171-176},
booktitle = {20th IEEE/IFIP International Conference on VLSI and System-on-Chip, VLSI-SoC 2012, Santa Cruz, CA, USA, October 7-10, 2012},
editor = {Srinivas Katkoori and Matthew R. Guthaus and Ayse Kivilcim Coskun and Andreas Burg and Ricardo Reis},
publisher = {IEEE},
isbn = {978-1-4673-2657-5},
}