Original language | English |
---|---|
Title of host publication | Proceedings of the 16th IEEE European Conference on Circuits Theory and Design (ECCTD 2003, Cracow, Poland, September 1-4, 2003) |
Editors | Z. Galias |
Pages | 225-228 |
Volume | 2 |
Publication status | Published - 2003 |
IMP : A BDD-based formal verification tool for arithmetic circuits
K.L. Man
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review