Correctness checking of HDL-model behavior based on runtime trace matching
2016 ◽
Vol 7
(2)
◽
pp. 114-115
2008 ◽
Vol 40
(2)
◽
pp. 41-51