Parts a partitioning transformation system

This publication has 9 references indexed in Scilit:

• System-level synthesis using re-programmable components
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• A co-design methodology based on formal specification and high-level estimation
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Towards provably correct hardware/software partitioning using OCCAM
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• An Algebraic Approach to Combining Processes in a Hardware/Software Partitioning Environment
  Published by Springer Nature ,1998
• A normal form reduction strategy for hardware/software partitioning
  Published by Springer Nature ,1997
• LYCOS: the Lyngby Co-Synthesis System
  Design Automation for Embedded Systems, 1997
• Partitioning and exploration strategies in the TOSCA co-design flow
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1996
• Specification and design of embedded hardware-software systems
  IEEE Design & Test of Computers, 1995
• The laws of OCCAM programming
  Theoretical Computer Science, 1988