Extended BDD's: Trading off Canonicity for Structure in Verification Algorithms.

Seh-Woong Jeong, Bernard Plessier, Gary D. Hachtel, Fabio Somenzi

Browse the full ICCAD paper archive.