Novel SAT-based invariant-directed low-power synthesis.
| Autor: | Elbayoumi, Mahmoud, Hsiao, Michael S., ElNainay, Mustafa |
|---|---|
| Zdroj: | Sixteenth International Symposium on Quality Electronic Design; 2015, p217-222, 6p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|