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