A scalable model based RTL framework zamiaCAD for static analysis

vastutusandmed
Anton Tšepurov, ... Maksim Jenihhin, Jaan Raik, Valentin Tihhomirov [et al.]
allikas
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]
ilmumiskoht
[S.l.]
kirjastus/väljaandja
ilmumisaasta
leheküljed
p. 171-176 : ill
konverentsi nimetus, aeg
2012 IEEE/IFIP 20th International Conference on VLSI and System-on-Chip (VLSI-SoC), October 7-10, 2012
konverentsi toimumispaik
Santa Cruz, USA
võtmesõna
RTL
static analysis
ISBN
978-1-4673-2656-8
märkused
Bibliogr.: 24 ref
keel
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.