CORAL II: linking behavior and structure in an IC design system
- 6 January 2003
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 529-535
- https://doi.org/10.1109/dac.1988.14811
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Linking the Behavioral and Structural Domains of Representation for Digital System DesignIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1987
- Linking the Behavioral and Structural Domains of Representation in a Synthesis SystemPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1985
- Symbolic Debugging of Optimized CodeACM Transactions on Programming Languages and Systems, 1982
- Symbolic Simulation for Correct Machine DesignPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1979
- Automated proofs of microprogram correctnessPublished by Association for Computing Machinery (ACM) ,1976