Login / Signup

Exploiting Isomorphism for Compaction and Faster Simulation of Binary Decision Diagrams.

Pankaj ChauhanPallab DasguptaP. P. Chakrabarti
Published in: VLSI Design (1999)
Keyphrases
  • binary decision diagrams
  • boolean functions
  • data sets
  • symbolic model checking
  • domain specific