A scalable model based RTL framework zamiaCAD for static analysis
Tšepurov, Anton
;
Jenihhin, Maksim
;
Raik, Jaan
;
Tihhomirov, Valentin
2012 IEEE/IFIP 20th International Conference on VLSI and System-on-Chip (VLSI-SoC) : October 7-10, 2012 Santa Cruz, USA Dream Inn, Santa Cruz, USA : [proceedings]
2012
/
p. 171-176 : ill
https://www.semanticscholar.org/paper/A-scalable-model-based-RTL-framework-zamiaCAD-for-Tsepurov-Bartsch/d19eefa44f793621d537c06498784e06e0332fd2