[IEEE 2012 IEEE/IFIP 20th International Conference on VLSI and System-on-Chip (VLSI-SoC) - Santa Cruz, CA, USA (2012.10.7-2012.10.10)] 2012 IEEE/IFIP 20th International Conference on VLSI and System-on-Chip (VLSI-SoC) - A scalable model based RTL framework zamiaCAD for static analysis
Tsepurov, Anton, Bartsch, Gunter, Dorsch, Rainer, Jenihhin, Maksim, Raik, Jaan, Tihhomirov, ValentinYear:
2012
Language:
english
DOI:
10.1109/vlsi-soc.2012.7332096
File:
PDF, 969 KB
english, 2012