Global Scheduling and Allocation Algorithms in the HAL System

This publication has 5 references indexed in Scilit:

• Path-based scheduling for synthesis
  IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1991
• STATEMATE: a working environment for the development of complex reactive systems
  IEEE Transactions on Software Engineering, 1990
• Algorithms for high-level synthesis
  IEEE Design & Test of Computers, 1989
• Force-directed scheduling for the behavioral synthesis of ASICs
  IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1989
• Trace Scheduling: A Technique for Global Microcode Compaction
  IEEE Transactions on Computers, 1981