Towards Consistency Checking Between HDL and UPF Descriptions

Kalsing, A; Fesquet, L; Aktouf, C

Kalsing, A (reprint author), Univ Grenoble Alpes, CNRS, TIMA, Grenoble, France.

2017 FORUM ON SPECIFICATION AND DESIGN LANGUAGES (FDL), 2017; ( ):

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 bee......

Full Text Link