Title :
Technologies for hardware simulation and verification
Author :
Hahanov, Vladimir ; Hahanova, Anna ; Obrizan, Volodymyr ; Zaharov, Konstantin
Abstract :
We consider a high performance software/hardware implementation of fault and fault -free simulation methods, and linting-technology for early design stage verification as well. Application of these technologies allows significant increasing simulation performance in comparison with software tools, and reducing design time of very high scale integrated circuits for 20-30%.
Keywords :
digital simulation; electronic design automation; fault tolerant computing; hardware description languages; program verification; system-on-chip; design stage verification; fault -free simulation method; fault simulation method; hardware simulation; hardware verification; linting-technology; software tools; Electronic Design Automation; Hardware fault simulation; Linting -technology; Verification;
Conference_Titel :
Modern Problems of Radio Engineering, Telecommunications and Computer Science, 2008 Proceedings of International Conference on
Conference_Location :
Lviv-Slavsko
Print_ISBN :
978-966-553-678-9
