IMP : A BDD-based formal verification tool for arithmetic circuits

K.L. Man

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Original languageEnglish
Title of host publicationProceedings of the 16th IEEE European Conference on Circuits Theory and Design (ECCTD 2003, Cracow, Poland, September 1-4, 2003)
EditorsZ. Galias
Pages225-228
Volume2
Publication statusPublished - 2003

Cite this