An Algebraic Hardware/Software Partitioning Algorithm

Shengchao Qin, Jifeng He

    Research output: Contribution to journalArticlepeer-review


    Hardware and software co-design is a design technique which delivers computer systems comprising hardware and software components. A critical phase of the co-design process is to decompose a program into hardware and software. This paper proposes an algebraic partitioning algorithm whose correctness is verified in program algebra. The authors introduce a program analysis phase before program partitioning and develop a collection of syntax-based splitting rules. The former provides the information for moving operations from software to hardware and reducing the interaction between components, and the latter supports a compositional approach to program partitioning.
    Original languageEnglish
    Pages (from-to)284-294
    Number of pages11
    JournalJournal of Computer Science and Technology
    Issue number3
    Publication statusPublished - May 2002


    Dive into the research topics of 'An Algebraic Hardware/Software Partitioning Algorithm'. Together they form a unique fingerprint.

    Cite this