Boolean satisfiability and equivalence checking using general Binary Decision Diagrams

• Authors:

• Pranav Ashar;Abhijit Ghosh;Srinivas Devadas

• Affiliations:

• -;-;-

• Venue:
• Integration, the VLSI Journal
• Year:
• 1992