6533b870fe1ef96bd12cefca

RESEARCH PRODUCT

Chairs' welcome message

A.j. HuI.g. Harris

subject

Industrial designProgramming languageComputer sciencecomputer.software_genreHardware_REGISTER-TRANSFER-LEVELIMPLEMENTATIONcomputerEquivalence (measure theory)Register-transfer level

description

In this paper we present techniques for comparison between behavioral level and register transfer level (RTL) design descriptions by mapping the designs into virtual controllers and virtual datapaths. We also discuss about how the equivalence between behavioral level and RTL designs can be defined precisely using the proposed "attribute statements" in an interactive fashion. Implementation issues as well as considerations on real life industrial design examples are presented as well.

yearjournalcountryeditionlanguage
2004-01-01Proceedings. Ninth IEEE International High-Level Design Validation and Test Workshop (IEEE Cat. No.04EX940)
https://doi.org/10.1109/hldvt.2004.1431211