Co-synthesis and co-simulation of control-dominated embedded systems

This publication has 16 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
• Synthesis of system-level bus interfaces
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• A system-design methodology: executable-specification refinement
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• SLIF: a specification-level intermediate format for system design
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Co-synthesis and co-simulation of control-dominated embedded systems
  Design Automation for Embedded Systems, 1996
• Specification and design of embedded hardware-software systems
  IEEE Design & Test of Computers, 1995
• Hardware-software co-design of embedded systems
  Proceedings of the IEEE, 1994
• Insulin: An Instruction Set Simulation Environment
  Published by Elsevier ,1993
• STATEMATE: a working environment for the development of complex reactive systems
  IEEE Transactions on Software Engineering, 1990
• Statecharts: a visual formalism for complex systems
  Science of Computer Programming, 1987