ipChinook

This publication has 15 references indexed in Scilit:

• Modal processes
  Published by Association for Computing Machinery (ACM) ,1998
• Hardware/software co-design of digital telecommunication systems
  Proceedings of the IEEE, 1997
• Fast hardware/software co-simulation for virtual prototyping and trade-off analysis
  Published by Association for Computing Machinery (ACM) ,1997
• Interface-based design
  Published by Association for Computing Machinery (ACM) ,1997
• The COSYMA environment for hardware/software cosynthesis of small embedded systems
  Microprocessors and Microsystems, 1996
• A case study in computer-aided co-design of embedded controllers
  Design Automation for Embedded Systems, 1996
• Synthesis steps and design models for codesign
  Computer, 1995
• Hardware/software co-simulation
  Published by Association for Computing Machinery (ACM) ,1994
• Communicating reactive processes
  Published by Association for Computing Machinery (ACM) ,1993
• Statecharts: a visual formalism for complex systems
  Science of Computer Programming, 1987