![](/img/cover-not-exists.png)
[IEEE 2008 Asia and South Pacific Design Automation Conference (ASPDAC) - Seoul, South Korea (2008.03.21-2008.03.24)] 2008 Asia and South Pacific Design Automation Conference - Verifying full-custom multipliers by Boolean equivalence checking and an arithmetic bit level proof
Krautz, Udo, Wedler, Markus, Kunz, Wolfgang, Weder, Kai, Jacobi, Christian, Pflanz, MatthiasYear:
2008
Language:
english
DOI:
10.1109/aspdac.2008.4483983
File:
PDF, 130 KB
english, 2008