SynGuide: An environment for doing interactive correctness preserving transformations
- 30 December 2002
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
This paper presents an overview of the meaning of Guided Synthesis by means of transformational design. The report discusses the desig ner aspect of interaction with a specific Hardware Description Language to transform an original behavioral specification down to a level where an implementation can be done with logic synthesis tools or silicon compilers. A formal method for th e optimization of a specification in a guaranteed correct way is presented. The method is based on the concept of improving a design by using a limited set of transformations that are proven to be correct. An environment enabling the user to do the transformations is created by using the Cornell Synthesizer Generator.Keywords
This publication has 10 references indexed in Scilit:
- Automating High Level Control F'low Transformations For Dsp Memory ManagementPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2005
- Target architectures in the CATHEDRAL synthesis systems: objectives and impactPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Correctness preserving transformations on the Hough algorithmPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- The formal definition of a synchronous hardware-description language in higher order logicPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Compiling multi-dimensional data streams into distributed DSP ASIC memoryPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- A loop transformation theory and an algorithm to maximize parallelismIEEE Transactions on Parallel and Distributed Systems, 1991
- The Omega test: a fast and practical integer programming algorithm for dependence analysisPublished by Association for Computing Machinery (ACM) ,1991
- HOL: A Proof Generating System for Higher-Order LogicPublished by Springer Nature ,1988
- An Abstract Model of Behavior for Hardware DescriptionsIEEE Transactions on Computers, 1983
- Program Improvement by Source-to-Source TransformationJournal of the ACM, 1977