A scalable model based RTL framework zamiaCAD for static analysis
autor
TÅ¡epurov, Anton
Jenihhin, Maksim
Raik, Jaan
Tihhomirov, Valentin
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
IEEE
ilmumisaasta
2012
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
scalability
VHDL
ISBN
978-1-4673-2656-8
märkused
Bibliogr.: 24 ref
keel
inglise