Equivalence checking using abstract BDDs.

Authors :: Jha, S.
Lu, Y.
Minea, M.
Clarke, E.M.
Source :: Proceedings International Conference on Computer Design VLSI in Computers & Processors; 1997, p332-337, 6p
Publication Year :: 1997

Language :: English
ISBNs :: 9780818682063
Database :: Complementary Index
Journal :: Proceedings International Conference on Computer Design VLSI in Computers & Processors
Publication Type :: Conference
Accession number :: 92249997
Full Text :: https://doi.org/10.1109/ICCD.1997.628891