[IEEE 2013 IEEE Computer Society Annual Symposium on VLSI (ISVLSI) - Natal, Brazil (2013.08.5-2013.08.7)] 2013 IEEE Computer Society Annual Symposium on VLSI (ISVLSI) - Using guiding heuristics to improve the dynamic checking of temporal properties in data dominated high-level designs
Junior, Alair Dias, Junior, Diogenes C. da SilvaYear:
2013
Language:
english
DOI:
10.1109/isvlsi.2013.6654617
File:
PDF, 792 KB
english, 2013