Automatic data path abstraction for verification of large scale designs
2016 ◽
Vol 23
(6)
◽
pp. 595-604
◽
Keyword(s):
1992 ◽
Vol 11
(9)
◽
pp. 1053-1064
◽
1964 ◽
Vol 6
(5)
◽
pp. 537-548
◽
2011 ◽
Vol 44
(3)
◽
pp. 641-646
◽
Keyword(s):
2014 ◽
Vol 7
(4)
◽
pp. 37-46
◽