![](/img/cover-not-exists.png)
[IEEE 2012 IEEE 15th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS) - Tallinn, Estonia (2012.04.18-2012.04.20)] 2012 IEEE 15th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS) - Digital-driven formal analog verification for asynchronously feed-backed circuitries
Uygur, Gurkan, Sattler, Sebastian M.Year:
2012
Language:
english
DOI:
10.1109/ddecs.2012.6219068
File:
PDF, 155 KB
english, 2012