Hardware/Software Co-Design: Application Domains and Design Technologies

This publication has 20 references indexed in Scilit:

• Symbolic model checking: 1020 States and beyond
  Published by Elsevier ,2004
• Synthesis steps and design models for codesign
  Computer, 1995
• Co-Synthesis of Hardware and Software for Digital Embedded Systems
  Published by Springer Nature ,1995
• Hardware-software codesign of embedded systems
  IEEE Micro, 1994
• Computer-aided hardware-software codesign
  IEEE Micro, 1994
• Scheduling for reactive real-time systems
  IEEE Micro, 1994
• Hardware-software cosynthesis for digital systems
  IEEE Design & Test of Computers, 1993
• The synchronous approach to reactive and real-time systems
  Proceedings of the IEEE, 1991
• Statecharts: a visual formalism for complex systems
  Science of Computer Programming, 1987
• Microprogram Optimization: A Survey
  IEEE Transactions on Computers, 1976