@ARTICLE{Özbaltan_Mete_Power-aware_2021,
 author={Özbaltan, Mete and Berthier, Nicolas},
 volume={vol. 31},
 number={No 2},
 journal={Archives of Control Sciences},
 pages={431-446},
 howpublished={online},
 year={2021},
 publisher={Committee of Automatic Control and Robotics PAS},
 abstract={We devise a tool-supported framework for achieving power-efficiency of data-flowhardware 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.},
 type={Article},
 title={Power-aware scheduling of data-flow hardware circuits with symbolic control},
 URL={http://journals.pan.pl/Content/120115/PDF/art10-popr.pdf},
 doi={10.24425/acs.2021.137426},
 keywords={symbolic discrete controller synthesis, digital synchronous circuits, power efficiency},
}