![](/img/cover-not-exists.png)
[IEEE 2007 Asia and South Pacific Design Automation Conference - Yokohama, Japan (2007.01.23-2007.01.26)] 2007 Asia and South Pacific Design Automation Conference - Deeper Bound in BMC by Combining Constant Propagation and Abstraction
Armoni, Roy, Fix, Limor, Fraer, Ranan, Heyman, Tamir, Vardi, Moshe, Vizel, Yakir, Zbar, YaelYear:
2007
Language:
english
DOI:
10.1109/aspdac.2007.358003
File:
PDF, 150 KB
english, 2007