Towards An Automated Approach to Hardware/Software Decomposition
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...
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | en_US |
| Published: |
2003
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/1721.1/3691 |
| _version_ | 1826209236756987904 |
|---|---|
| author | Qin, Shengchao He, Jifeng Chin, Wei Ngan |
| author_facet | Qin, Shengchao He, Jifeng Chin, Wei Ngan |
| author_sort | Qin, Shengchao |
| collection | MIT |
| description | 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. |
| first_indexed | 2024-09-23T14:19:21Z |
| format | Article |
| id | mit-1721.1/3691 |
| institution | Massachusetts Institute of Technology |
| language | en_US |
| last_indexed | 2024-09-23T14:19:21Z |
| publishDate | 2003 |
| record_format | dspace |
| spelling | mit-1721.1/36912019-04-10T12:16:20Z Towards An Automated Approach to Hardware/Software Decomposition Qin, Shengchao He, Jifeng Chin, Wei Ngan Verilog algebraic laws hardware/software co-design hardware/software partitioning 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. Singapore-MIT Alliance (SMA) 2003-11-17T16:56:45Z 2003-11-17T16:56:45Z 2003-01 Article http://hdl.handle.net/1721.1/3691 en_US Computer Science (CS); 145804 bytes application/pdf application/pdf |
| spellingShingle | Verilog algebraic laws hardware/software co-design hardware/software partitioning Qin, Shengchao He, Jifeng Chin, Wei Ngan Towards An Automated Approach to Hardware/Software Decomposition |
| title | Towards An Automated Approach to Hardware/Software Decomposition |
| title_full | Towards An Automated Approach to Hardware/Software Decomposition |
| title_fullStr | Towards An Automated Approach to Hardware/Software Decomposition |
| title_full_unstemmed | Towards An Automated Approach to Hardware/Software Decomposition |
| title_short | Towards An Automated Approach to Hardware/Software Decomposition |
| title_sort | towards an automated approach to hardware software decomposition |
| topic | Verilog algebraic laws hardware/software co-design hardware/software partitioning |
| url | http://hdl.handle.net/1721.1/3691 |
| work_keys_str_mv | AT qinshengchao towardsanautomatedapproachtohardwaresoftwaredecomposition AT hejifeng towardsanautomatedapproachtohardwaresoftwaredecomposition AT chinweingan towardsanautomatedapproachtohardwaresoftwaredecomposition |