Exercising Symbolic Discrete Control for Designing Low-power Hardware Circuits: an Application to Clock-gating



Ozbaltan, Mete and Berthier, Nicolas
(2018) Exercising Symbolic Discrete Control for Designing Low-power Hardware Circuits: an Application to Clock-gating. .

[img] Text
paper.pdf - Accepted Version

Download (215kB)
Item Type: Conference or Workshop Item (UNSPECIFIED)
Uncontrolled Keywords: Symbolic discrete controller synthesis, synchronous digital circuits, power-efficiency
Depositing User: Symplectic Admin
Date Deposited: 11 Jun 2018 08:47
Last Modified: 19 Oct 2018 05:10
DOI: 10.1016/j.ifacol.2018.06.289
URI: http://livrepository.liverpool.ac.uk/id/eprint/3022157
Repository Staff Access