Towards consistency checking between HDL and UPF descriptions. - Arthur Kalsing; Laurent Fesquet; Chouki Aktouf (FDL, 2017)

A Methodology for Automated Consistency Checking Between Different Power-Aware Descriptions. - Arthur Kalsing; Laurent Fesquet; Chouki Aktouf (FDL (Selected Papers), 2017)