Synthesis of multi-cycle circuits from guarded atomic actions
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2011.
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Thesis |
| Language: | eng |
| Published: |
Massachusetts Institute of Technology
2012
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/1721.1/68488 |
| _version_ | 1811095975427571712 |
|---|---|
| author | Karczmarek, Michal, 1977- |
| author2 | Arvind. |
| author_facet | Arvind. Karczmarek, Michal, 1977- |
| author_sort | Karczmarek, Michal, 1977- |
| collection | MIT |
| description | Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2011. |
| first_indexed | 2024-09-23T16:35:41Z |
| format | Thesis |
| id | mit-1721.1/68488 |
| institution | Massachusetts Institute of Technology |
| language | eng |
| last_indexed | 2024-09-23T16:35:41Z |
| publishDate | 2012 |
| publisher | Massachusetts Institute of Technology |
| record_format | dspace |
| spelling | mit-1721.1/684882019-04-10T13:49:10Z Synthesis of multi-cycle circuits from guarded atomic actions Karczmarek, Michal, 1977- Arvind. Massachusetts Institute of Technology. Dept. of Electrical Engineering and Computer Science. Massachusetts Institute of Technology. Dept. of Electrical Engineering and Computer Science. Electrical Engineering and Computer Science. Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2011. Cataloged from PDF version of thesis. Includes bibliographical references (p. 143-147). One solution to the timing closure problem is to perform infrequent operations in more than one clock cycle. Despite the apparent simplicity of the solution statement, it is not easily considered because it requires changes in RTL, which in turn exacerbates the verification problem. Another approach to the problem is to avoid it altogether, by using a high-level design methodology and allow the synthesis tool to generate the design that matches design requirements. This approach hinges on the ability of the tool to be able to generate satisfactory RTL from the high-level description, an ability which often cannot be tested until late in the project. Failure to meet the requirements can result in costly delays as an alternative way of expressing the design intent is sought and experimented with. We offer a timing closure solution that does not suffer from these problems. We have selected atomic actions as the high-level design methodology. We exploit the fact that semantics of atomic actions are untimed, that is, the time to execute an action does not change its outcome. The current hardware synthesis technique from atomic actions assumes that each action takes one clock cycle to complete its computation. Consequently, the action with the longest combinational path determines the clock cycle of the entire design, often leading to needlessly slow circuits. By augmenting the description of the actions with desired timing information, we allow the designer to split long paths over multiple clock cycles without giving up the semantics of atomicity. We also introduce loops with dynamic bounds into the atomic action description. These loops are not unrolled for synthesis, but the guards are evaluated for each iteration. Our synthesis results show that the clock speed and performance of circuits can be improved substantially with our technique, without having to substantially change the design. by Michal Karczmarek. Ph.D. 2012-01-12T19:31:38Z 2012-01-12T19:31:38Z 2011 2011 Thesis http://hdl.handle.net/1721.1/68488 770383254 eng M.I.T. theses are protected by copyright. They may be viewed from this source for any purpose, but reproduction or distribution in any format is prohibited without written permission. See provided URL for inquiries about permission. http://dspace.mit.edu/handle/1721.1/7582 147 p. application/pdf Massachusetts Institute of Technology |
| spellingShingle | Electrical Engineering and Computer Science. Karczmarek, Michal, 1977- Synthesis of multi-cycle circuits from guarded atomic actions |
| title | Synthesis of multi-cycle circuits from guarded atomic actions |
| title_full | Synthesis of multi-cycle circuits from guarded atomic actions |
| title_fullStr | Synthesis of multi-cycle circuits from guarded atomic actions |
| title_full_unstemmed | Synthesis of multi-cycle circuits from guarded atomic actions |
| title_short | Synthesis of multi-cycle circuits from guarded atomic actions |
| title_sort | synthesis of multi cycle circuits from guarded atomic actions |
| topic | Electrical Engineering and Computer Science. |
| url | http://hdl.handle.net/1721.1/68488 |
| work_keys_str_mv | AT karczmarekmichal1977 synthesisofmulticyclecircuitsfromguardedatomicactions |