A scalable model based RTL framework zamiaCAD for static analysis

statement of authorship
Anton Tšepurov, ... Maksim Jenihhin, Jaan Raik, Valentin Tihhomirov [et al.]
source
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]
location of publication
[S.l.]
publisher
year of publication
pages
p. 171-176 : ill
conference name, date
2012 IEEE/IFIP 20th International Conference on VLSI and System-on-Chip (VLSI-SoC), October 7-10, 2012
conference location
Santa Cruz, USA
keyword
RTL
static analysis
ISBN
978-1-4673-2656-8
notes
Bibliogr.: 24 ref
language
inglise
Tšepurov, A., Jenihhin, M., Raik, J., Tihhomirov, V. et al. A scalable model based RTL framework zamiaCAD for static analysis // 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]. [S.l.] : IEEE, 2012. p. 171-176 : ill.