Safe BDD minimization using don't cares
- Youpyo Hong
- , Peter A. Beerel
- , Jerry R. Burch
- , Kenneth L. McMillan
Research output: Contribution to journal › Conference article › peer-review
40
Scopus
citations