共 20 条
[1]
[Anonymous], P 2013 INT C COLL
[2]
Code Coverage of Assertions Using RTL Source Code Analysis
[J].
2014 51ST ACM/EDAC/IEEE DESIGN AUTOMATION CONFERENCE (DAC),
2014,
[3]
Basu K., 2011, Proceedings of the 24th International Conference on VLSI Design: concurrently with the 10th International Conference on Embedded Systems Design, P352, DOI 10.1109/VLSID.2011.14
[5]
Basu K, 2012, INT HIGH LEVEL DESIG, P71, DOI 10.1109/HLDVT.2012.6418245
[6]
Chatterjee D, 2011, ICCAD-IEEE ACM INT, P595, DOI 10.1109/ICCAD.2011.6105391
[7]
Ko H.F., 2010, 2010 IEEE International Test Conference, P1
[8]
Ko H.F., 2010, IEEE European Test Symposium (ETS), P62
[10]
Li M, 2014, ASIA S PACIF DES AUT, P640, DOI 10.1109/ASPDAC.2014.6742963