Extended BDDs: trading off canonicity for structure in verification algorithms

• Authors:

• B. Plessier;G. Hachtel;F. Somenzi

• Affiliations:

• -;-;-

• Venue:
• Formal Methods in System Design
• Year:
• 1994