Hardware/Software Partitioning in Verilog
(2002)
Conference Proceeding
Qin, S., He, J., Qiu, Z., Zhang, N., George, C., & Miao, H. (2002). Hardware/Software Partitioning in Verilog. In Formal methods and software engineering : 4th International Conference on Formal Engineering Methods, ICFEM 2002, 21-25 October 2002, Shanghai, China ; proceedings (168-179). https://doi.org/10.1007/3-540-36103-0_19
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 p... Read More about Hardware/Software Partitioning in Verilog.