A complete specification and implementation methodology for high-level hardware transformations
George Economakos, I. Drositis, G. Papakonstantinou · 2002
The complexity of modern digital systems requires complex design entry methods and thus, language based designs are often an appealing alternative for schematics. Language based design entry supports high-level design transformations, through formal and executable traditional compiler construction problem specifications, their main advantages being modularity and declarative notation. In this paper, this idea is exploited under a powerful compiler construction system and a methodology is given to design executable high-level transformation definitions. In effect, this methodology stands as a meta-level between hardware transformations and their implementation and can be valuable in fast evaluation of new ideas and techniques.