![](/img/cover-not-exists.png)
[IEEE 2013 Formal Methods in Computer-Aided Design (FMCAD) - Portland, OR (2013.10.20-2013.10.23)] 2013 Formal Methods in Computer-Aided Design - Static verification based signoff - A key enabler for managing verification complexity in the modern soc
Ashar, PranavYear:
2013
Language:
english
DOI:
10.1109/fmcad.2013.7035521
File:
PDF, 31 KB
english, 2013