HW/SW cosynthesis using statecharts and symbolic timing diagrams

This publication has 13 references indexed in Scilit:

• Hardware synthesis from requirement specifications
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Interface controller synthesis from requirement specifications
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• A prototyping environment for hardware/software codesign in the COBRA project
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Duality between resource reservation and proportional share resource allocation
  Published by SPIE-Intl Soc Optical Eng ,1997
• A visual formalism for real time requirement specifications
  Published by Springer Nature ,1997
• The STATEMATE semantics of statecharts
  ACM Transactions on Software Engineering and Methodology, 1996
• MSparc: A multithreaded sparc
  Published by Springer Nature ,1996
• Hardware-software cosynthesis for microcontrollers
  IEEE Design & Test of Computers, 1993
• Hardware-software cosynthesis for digital systems
  IEEE Design & Test of Computers, 1993
• STATEMATE: a working environment for the development of complex reactive systems
  IEEE Transactions on Software Engineering, 1990