Linking the Behavioral and Structural Domains of Representation for Digital System Design
- 1 January 1987
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
- Vol. 6 (1) , 103-110
- https://doi.org/10.1109/tcad.1987.1270252
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Linking the Behavioral and Structural Domains of Representation in a Synthesis SystemPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1985
- A model of design representation and synthesisPublished by Association for Computing Machinery (ACM) ,1985
- A General Methodology for Synthesis and Verification of Register-Transfer DesignsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1984
- Automatic Data Path SynthesisComputer, 1983
- Defining and Implementing a Multilevel Design Representation with Simulation ApplicationsIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1983
- Behavioral Level Transformation in the CMU-DA SystemPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1983
- On Proving the Correctness of Optimizing Transformations in a Digital Design Automation SystemPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1981
- Instruction set processor specifications (ISPS): The notation and its applicationsIEEE Transactions on Computers, 1981