Combinational Logic Verification: Multi-level Tautology
Combinational Logic Verification: Multi-level Tautology
m Multi-level Tautology [Hachtel, et. al. 88]
Ô Use Shannon decomposition and hashing of intermediate results.
m Drawbacks
Ô Depends strongly on ability of hashing function to detect equivalent functionsÔ Some similarity to BDD approach