Partial synthesis through sampling with and without specification
Autor: | Masahiro Fujita, Satoshi Jo, Shohei Ono, Takeshi Matsumoto |
---|---|
Rok vydání: | 2013 |
Zdroj: | 2013 IEEE/ACM International Conference on Computer-Aided Design (ICCAD). |
DOI: | 10.1109/iccad.2013.6691203 |
Databáze: | OpenAIRE |
Externí odkaz: |