![](/img/cover-not-exists.png)
[IEEE 2014 Microelectronic Systems Symposium (MESS) - Vienna, Austria (2014.5.8-2014.5.9)] 2014 Microelectronic Systems Symposium (MESS) - On automated generation of checker units from hardware assertion languages
Fibich, Christian, Wenzl, Matthias, Rossler, PeterYear:
2014
Language:
english
DOI:
10.1109/MESS.2014.7010247
File:
PDF, 249 KB
english, 2014