- Tytuł:
- Power-aware scheduling of data-flow hardware circuits with symbolic control
- Autorzy:
-
Özbaltan, Mete
Berthier, Nicolas - Powiązania:
- https://bibliotekanauki.pl/articles/1409402.pdf
- Data publikacji:
- 2021
- Wydawca:
- Polska Akademia Nauk. Czytelnia Czasopism PAN
- Tematy:
-
symbolic discrete controller synthesis
digital synchronous circuits
power efficiency - Opis:
- We devise a tool-supported framework for achieving power-efficiency of data-flow hardware circuits. Our approach relies on formal control techniques, where the goal is to compute a strategy that can be used to drive a given model so that it satisfies a set of control objectives. More specifically, we give an algorithm that derives abstract behavioral models directly in a symbolic form from original designs described at Register-transfer Level using a Hardware Description Language, and for formulating suitable scheduling constraints and power-efficiency objectives. We show how a resulting strategy can be translated into a piece of synchronous circuit that, when paired with the original design, ensures the aforementioned objectives. We illustrate and validate our approach experimentally using various hardware designs and objectives.
- Źródło:
-
Archives of Control Sciences; 2021, 31, 2; 431-446
1230-2384 - Pojawia się w:
- Archives of Control Sciences
- Dostawca treści:
- Biblioteka Nauki
Artykuł