University of Southern California
  • Home
  • Research
    • Current
    • Past
  • Publications
  • People
  • Classes

BDD Minimization using Don't Cares

The source code for BDD minimization is available:compaction.tar. See related publications here.