Object-oriented modeling and synthesis of SystemC specifications

This publication has 4 references indexed in Scilit:

• An environment for dynamic component composition for efficient co-design
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• A framework for object oriented hardware specification, verification, and synthesis
  Published by Association for Computing Machinery (ACM) ,2001
• Design and specification of embedded systems in Java using successive, formal refinement
  Published by Association for Computing Machinery (ACM) ,1998
• Java as a specification language for hardware-software systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1997