Synthesis from mixed specifications

This publication has 8 references indexed in Scilit:

• Synthesis and simulation of digital systems containing interacting hardware and software components
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Multiple-process behavioral synthesis for mixed hardware-software systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Analysis and synthesis of concurrent digital circuits using control-flow expressions
  IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1996
• Co-Design of DSP Systems
  Published by Springer Nature ,1996
• Co-Synthesis of Hardware and Software for Digital Embedded Systems
  Published by Springer Nature ,1995
• Program implementation schemes for hardware-software systems
  Computer, 1994
• Hardware-software cosynthesis for digital systems
  IEEE Design & Test of Computers, 1993
• The Olympus synthesis system
  IEEE Design & Test of Computers, 1990