![](/img/cover-not-exists.png)
[IEEE 2011 16th Asia and South Pacific Design Automation Conference ASP-DAC 2011 - Yokohama, Japan (2011.01.25-2011.01.28)] 16th Asia and South Pacific Design Automation Conference (ASP-DAC 2011) - Analog circuit verification by statistical model checking
Wang, Ying-Chih, Komuravelli, Anvesh, Zuliani, Paolo, Clarke, Edmund M.Year:
2011
Language:
english
DOI:
10.1109/ASPDAC.2011.5722168
File:
PDF, 146 KB
english, 2011