Title
Towards consistency checking between HDL and UPF descriptions
Abstract
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.
Year
DOI
Venue
2017
10.1109/FDL.2017.8303897
2017 Forum on Specification and Design Languages (FDL)
Keywords
Field
DocType
UPF,RTL,power-intent,consistency,low-power
Unified Power Format,Computer architecture,Software deployment,Software engineering,Standard language,Computer science,Design methods,Integrated circuit design,Semiconductor industry,Semantics,Hardware description language
Conference
ISBN
Citations 
PageRank 
978-1-5386-1152-4
0
0.34
References 
Authors
2
3
Name
Order
Citations
PageRank
Arthur Kalsing100.34
Laurent Fesquet228949.04
Chouki Aktouf300.34