A methodology for control-dominated systems codesign

This publication has 8 references indexed in Scilit:

• A method for hardware software partitioning
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• The Princeton University behavioral synthesis system
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Interactive system-level partitioning with PARTIF
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Hardware-software cosynthesis for digital systems
  IEEE Design & Test of Computers, 1993
• System specification with the SpecCharts language
  IEEE Design & Test of Computers, 1992
• The synchronous approach to reactive and real-time systems
  Proceedings of the IEEE, 1991
• The Olympus synthesis system
  IEEE Design & Test of Computers, 1990
• STATEMATE: a working environment for the development of complex reactive systems
  IEEE Transactions on Software Engineering, 1990