A scalable model based RTL framework zamiaCAD for static analysis
author
Tšepurov, Anton
Jenihhin, Maksim
Raik, Jaan
Tihhomirov, Valentin
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
IEEE
year of publication
2012
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
url
https://www.semanticscholar.org/paper/A-scalable-model-based-RTL-framework-zamiaCAD-for-Tsepurov-Bartsch/d19eefa44f793621d537c06498784e06e0332fd2
subject term
mudelipõhine tarkvaraarendus
disain
vaba tarkvara
keyword
RTL
static analysis
scalability
VHDL
ISBN
978-1-4673-2656-8
notes
Bibliogr.: 24 ref
language
inglise