A parallel BDD Engine for Logic Verification

D Caban, DJ Milford

Research output: Chapter in Book/Report/Conference proceedingConference Contribution (Conference Proceeding)

Translated title of the contributionA parallel BDD Engine for Logic Verification
Original languageEnglish
Title of host publicationUnknown
Pages499 - 502
Number of pages3
Publication statusPublished - 1992

Bibliographical note

Conference Proceedings/Title of Journal: 5th IEEE Int. ASIC Conf

Cite this