Towards An Automated Approach to Hardware/Software Decomposition
Author(s)
Qin, Shengchao
He, Jifeng
Chin, Wei Ngan
Date Issued
January 2003
Series/Report no.
Computer Science (CS);
Abstract
We propose in this paper an algebraic approach to hard-ware/software partitioning in Verilog Hardware Description Language (HDL). We explore a collection of algebraic laws for Verilog programs, from which we design a set of syntax-based algebraic rules to conduct hardware/software partitioning. The co-specification language and the target hardware and software description languages are specific subsets of Verilog. Through this, we confirm successful verification for the correctness of the partitioning process by an algebra of Verilog. Facilitated by Verilog’s rich features, we have also successfully studied hw/sw partitioning for environment-driven systems.
Subjects
Verilog
algebraic laws
hardware/software co-design
hardware/software partitioning
Persistent DSpace Link
