Title :
Platform for automated HW/SW co-verification, testing and simulation of microprocessors
Author :
Simevski, Aleksandar ; Kraemer, Rolf ; Krstic, Milos
Author_Institution :
Brandenburg University of Technology, Konrad-Wachsmann-Allee 1, D-03046 Cottbus, Germany
Abstract :
The high complexity of very deep-submicron Systems-on-Chip makes their verification extremely challenging task. Various methodologies based on traditional simulation, assertion-based verification, formal verification etc. help increase the confidence that a circuit is working according to specification, but in most of the cases an assertion that a circuit is 100% compliant to its specifications is not reachable.
Conference_Titel :
Test Workshop (LATW), 2012 13th Latin American
Conference_Location :
Quito, Ecuador
Print_ISBN :
978-1-4673-2355-0
DOI :
10.1109/LATW.2012.6261242
