Hardware/Software Partitioning in Verilog

Shengchao Qin,Jifeng He,Zongyan Qiu,Naixiao Zhang

DOI: https://doi.org/10.1007/3-540-36103-0_19

2002-01-01

Abstract:We propose in this paper an algebraic approach to hardware/software partitioning in Verilog 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, which brings forth our successful verification for the correctness of the partitioning process by algebra of Verilog. Facilitated by Verilog’s rich features, we have also successfully studied hw/sw partitioning for environment-driven systems.