Embedded System Co-Design

This publication has 11 references indexed in Scilit:

• An automaton model for scheduling constraints in synchronous machines
  IEEE Transactions on Computers, 1995
• A software-hardware cosynthesis approach to digital system simulation
  IEEE Micro, 1994
• Scheduling for reactive real-time systems
  IEEE Micro, 1994
• A model and methodology for hardware-software codesign
  IEEE Design & Test of Computers, 1993
• Symbolic Model Checking
  Published by Springer Nature ,1993
• Trace Algebra for Automatic Verification of Real-Time Concurrent Systems
  Published by Defense Technical Information Center (DTIC) ,1992
• High Level Synthesis of ASICs under Timing and Synchronization Constraints
  Published by Springer Nature ,1992
• Constructing Predictable Real Time Systems
  Published by Springer Nature ,1991
• Graph-Based Algorithms for Boolean Function Manipulation
  IEEE Transactions on Computers, 1986
• Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment
  Journal of the ACM, 1973