Towards a new standard for system-level design

This publication has 7 references indexed in Scilit:

• Methodology for hardware/software co-verification in C/C++ (short paper)
  Published by Association for Computing Machinery (ACM) ,2000
• System level fixed-point design based on an interpolative approach
  Published by Association for Computing Machinery (ACM) ,1997
• An efficient implementation of reactivity for modeling hardware in the scenic design environment
  Published by Association for Computing Machinery (ACM) ,1997
• A co-synthesis approach to embedded system design automation
  Design Automation for Embedded Systems, 1996
• Hardware-software co-design of embedded systems
  Proceedings of the IEEE, 1994
• Hardware-software cosynthesis for microcontrollers
  IEEE Design & Test of Computers, 1993
• Preemption in concurrent systems
  Published by Springer Nature ,1993