![](/img/cover-not-exists.png)
[IEEE 2008 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) - San Jose, CA, USA (2008.11.10-2008.11.13)] 2008 IEEE/ACM International Conference on Computer-Aided Design - Scalable and scalably-verifiable sequential synthesis
Mishchenko, Alan, Case, Michael, Brayton, Robert, Jang, StephenYear:
2008
Language:
english
DOI:
10.1109/iccad.2008.4681580
File:
PDF, 322 KB
english, 2008