Towards consistency checking between HDL and UPF descriptions - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2017

Towards consistency checking between HDL and UPF descriptions

Résumé

Meeting the requirements of low-power design is a real challenge in the semiconductor industry. In the past few years, many new methodologies have been introduced to help engineers dealing with the growing complexity of chip design. One of such methodologies is the power-intent description based on the Unified Power Format (UPF), which defines, for the first time, a structured standard language to annotate power-intent to a design. This work aims to further improve the deployment of UPF standard in the industry, proposing a methodology that enables design editing and manipulation with automatic detection of power-intent inconsistencies. This work demonstrates how to highly correlate the UPF and Hardware Description Language (HDL) in order to track power-intent inconsistencies due to modifications in either of the descriptions. The final goal will be to offer in the long term a completely automated tool which captures the changes in HDL code and modifies the UPF accordingly (and vice-versa). A test-case is presented to illustrate the capabilities of the developed design methodology.
Fichier non déposé

Dates et versions

hal-01627341 , version 1 (01-11-2017)

Identifiants

Citer

Arthur Kalsing, Laurent Fesquet, Chouki Aktouf. Towards consistency checking between HDL and UPF descriptions. Forum on Specification & Design Languages (FDL 2017), Sep 2017, Verona, Italy. pp.1-6, ⟨10.1109/FDL.2017.8303897⟩. ⟨hal-01627341⟩

Collections

UGA CNRS TIMA
127 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More