An Efficient Implementation Of Reactivity For Modeling Hardware In The Scenic Design Environment

This publication has 9 references indexed in Scilit:

• Hardware logic simulation by compilation
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• A framework for evaluating specification methods for reactive systems-experience report
  IEEE Transactions on Software Engineering, 1996
• A Fast and Flexible Performance Simulator for Micro-Architecture Trade-off Analysis on UltraSPARC™ -I
  Proceedings of the 39th conference on Design automation - DAC '02, 1995
• Hardware-software co-design of embedded systems
  Proceedings of the IEEE, 1994
• Object-oriented techniques in hardware design
  Computer, 1994
• Hardware-software cosynthesis for microcontrollers
  IEEE Design & Test of Computers, 1993
• A model and methodology for hardware-software codesign
  IEEE Design & Test of Computers, 1993
• A hardware-software codesign methodology for DSP applications
  IEEE Design & Test of Computers, 1993
• The Esterel synchronous programming language: design, semantics, implementation
  Science of Computer Programming, 1992