A Methodology for the Design of Guaranteed Correct and Efficient Digital Systems
Peter F. A. Middelhoek, Corrie Huijs, G.E. Mekenkamp, E.W. Prangsma, E. Engels · University of Twente Research Information · 1996
Achieving correct designs is quickly becoming the bottleneck in the design of complex digital systems. In this paper we discuss our experience with developing and implementing a novel transformationbased design methodology for the design of guaranteed correct synchronous digital systems. By applying user-selected behavior-preserving transformation steps throughout the complete design phase ---from specification to implementation--- firsttime -right designs can be obtained while exploiting the experience, flexibility, and creativity of the designer. This approach, which is independent of a specific application domain or target architecture, allows us to support the life cycle of a design through multiple design iterations from prototype to full custom implementation. The methodology is augmented with a transparent, syntax-based translation mechanism for the support of almost full VHDL. Behavior-preserving design transformations are used to remove the VHDL event mechanism. A combinatio...