A Representation for the Binding of RT-Component Functionality to HDL Behavior

This publication has 8 references indexed in Scilit:

• A prescriptive formal model for data-path hardware
  IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1992
• An efficient multi-view design model for real-time interactive synthesis
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1992
• Equivalent design representations and transformations for interactive scheduling
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1992
• An Object-Oriented Framework Supporting the full High-Level Synthesis Trajectory**This research has been sponsored by the ESPRIT-2260 (SPRITE) project of the E.C.
  Published by Elsevier ,1991
• Bridging high-level synthesis to RTL technology libraries
  Published by Association for Computing Machinery (ACM) ,1991
• Flow Graph Representation
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1986
• A New Synthesis Algorithm for the MIMOLA Software System
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1986
• The ADAM Advanced Design Automation System: Overview, Planner and Natural Language Interface
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1985