Browsing Computer Science (CS) by Subject "algebraic laws"
Now showing items 1-1 of 1
-
Towards An Automated Approach to Hardware/Software Decomposition
(2003-01)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 ...