Specification and analysis of timing constraints for embedded systems

This publication has 19 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
• A co-synthesis approach to embedded system design automation
  Design Automation for Embedded Systems, 1996
• An algorithm for exact bounds on the time separation of events in concurrent systems
  IEEE Transactions on Computers, 1995
• Performance analysis of embedded software using implicit path enumeration
  Published by Association for Computing Machinery (ACM) ,1995
• Hardware-software cosynthesis for microcontrollers
  IEEE Design & Test of Computers, 1993
• Hardware-software cosynthesis for digital systems
  IEEE Design & Test of Computers, 1993
• Predicting program execution times by analyzing static and dynamic program paths
  Real-Time Systems, 1993
• Relative scheduling under timing constraints: algorithms for high-level synthesis of digital circuits
  IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1992
• High Level Synthesis of ASICs under Timing and Synchronization Constraints
  Published by Springer Nature ,1992
• Timing Constraints of Real-Time Systems: Constructs for Expressing Them, Methods of Validating Them
  IEEE Transactions on Software Engineering, 1985