SAT-based methods for circuit synthesis.
| Autor: | Bloem, Roderick, Egly, Uwe, Klampfl, Patrick, Konighofer, Robert, Lonsing, Florian |
|---|---|
| Zdroj: | 2014 Formal Methods in Computer-Aided Design (FMCAD); 2014, p31-34, 4p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|