Author of the publication

Improving Energy Efficiency of CGRAs with Low-Overhead Fine-Grained Power Domains.

, , , , , , , , , , and . ACM Trans. Reconfigurable Technol. Syst., 16 (2): 26:1-26:28 (June 2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Automating System Configuration., , , , , , and . FMCAD, page 102-111. IEEE, (2021)Improving Energy Efficiency of CGRAs with Low-Overhead Fine-Grained Power Domains., , , , , , , , , and 1 other author(s). ACM Trans. Reconfigurable Technol. Syst., 16 (2): 26:1-26:28 (June 2023)Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays., , , , and . TACAS (1), volume 12651 of Lecture Notes in Computer Science, page 113-132. Springer, (2021)Unlocking the Power of Formal Hardware Verification with CoSA and Symbolic QED: Invited Paper., , , , , , , , and . ICCAD, page 1-8. ACM, (2019)A Flexible and Efficient Temporal Logic Tool for Python: PyTeLo., , , and . CoRR, (2023)CoSA: Integrated Verification for Agile Hardware Design., , , , , and . FMCAD, page 1-5. IEEE, (2018)Agile SMT-Based Mapping for CGRAs with Restricted Routing Networks., , , and . ReConFig, page 1-8. IEEE, (2019)Uncertainty Quantification for Recursive Estimation in Adaptive Safety-Critical Control., , , and . ACC, page 3885-3890. IEEE, (2024)Control Barrier Function Toolbox: An Extensible Framework for Provable Safety., , , , and . NFM, volume 14627 of Lecture Notes in Computer Science, page 352-358. Springer, (2024)A Framework for Adding Low-Overhead, Fine-Grained Power Domains to CGRAs., , , , , , , , , and . DATE, page 846-851. IEEE, (2020)