High-level synthesis techniques for in-circuit assertion-based verification
Keyword(s):
Keyword(s):
2015 ◽
pp. 321-330
◽
Keyword(s):
2009 ◽
Vol E92-A
(12)
◽
pp. 3169-3179
◽