A Compositional Approach for Equivalence Checking of Sequential Circuits with Unknown Reset State and Overlapping Partitions
2011 ◽
Vol 204-210
◽
pp. 251-254
Keyword(s):
2010 ◽
Vol E93-A
(12)
◽
pp. 2472-2480
◽
Keyword(s):
Keyword(s):