@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://so.czasopisma.pan.pl/Content/120115/PDF/art10-popr.pdf}, doi={10.24425/acs.2021.137426}, keywords={symbolic discrete controller synthesis, digital synchronous circuits, power efficiency}, }