On the notion of the normal form register-level structures and its applications in design-space exploration

Authors:
Ranga Vemuri
Affiliations:
University of Cincinnati, Cincinnati, Ohio
Venue:
EURO-DAC '90 Proceedings of the conference on European design automation
Year:
1990

Citing 2
Cited 4

Optimizations in high level synthesis

Microprocessing and Microprogramming
A transformational approach to register-transfer-level design-space exploration

A transformational approach to register-transfer-level design-space exploration

Accounting for various register allocation schemes during post-synthesis verification of RTL designs

DATE '99 Proceedings of the conference on Design, automation and test in Europe
Automated Correctness Condition Generation for Formal Verification ofSynthesized RTL Designs

Formal Methods in System Design - Special issue on formal methods for computer-added design
A Methodology for Automated Verification of Synthesized RTL Designs and Its Integration with a High-Level Synthesis Tool

FMCAD '98 Proceedings of the Second International Conference on Formal Methods in Computer-Aided Design
GRTL: a graphical platform for pipelined system design

EURO-DAC '91 Proceedings of the conference on European design automation

Quantified Score

Hi-index	0.00

Visualization

Abstract

The notion of the normal form structural (NFS) implementation of an algorithmic behavioral specification is introduced. The NFS implementation of a behavioral specification is shown to be unique among all the register transfer (RT) level structures implementing the specification. An algorithm to transform a given structure into the equivalent normal form structure is presented. The notion of the NFS implementations is used in proving the completeness of a set of RT-level transformations. On the practical side, the NFS is used as a reference structure with respect to which the performance of other behaviorally equivalent structures is measured.