Exercising Symbolic Discrete Control for Designing Low-power Hardware Circuits: an Application to Clock-gating
Autor: | Özbaltan, Mete, Berthier, Nicolas |
---|---|
Zdroj: | In IFAC PapersOnLine 2018 51(7):120-126 |
Databáze: | ScienceDirect |
Externí odkaz: |
Autor: | Özbaltan, Mete, Berthier, Nicolas |
---|---|
Zdroj: | In IFAC PapersOnLine 2018 51(7):120-126 |
Databáze: | ScienceDirect |
Externí odkaz: |