![](/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 - Efficient BMC for Multi-Clock Systems with Clocked Specifications
Ganai, Malay K, Gupta, AartiYear:
2007
Language:
english
DOI:
10.1109/aspdac.2007.358004
File:
PDF, 8.43 MB
english, 2007