| タイトル | Micro-rollback and self-recovery synthesis |
| 本文（外部サイト） | http://hdl.handle.net/2060/19940017234 |
| 著者（英） | Jeon, Byung Wook; Lursinsap, Chidchanok |
| 著者所属（英） | University of Southwestern Louisiana |
| 発行日 | 1992-01-01 |
| 言語 | eng |
| 内容記述 | A new approach to high level synthesis with micro-rollback and self-recovery method is presented. The objective of this approach is to generate a reliable system from the behavioral descriptions. The approach is formulated as a rollback point insertion problem based on the probability function of being inserted rollback points after the given CDFG is scheduled. This function allows us not only to search the problem space efficiently but also to avoid the exhaustive search. |
| NASA分類 | QUALITY ASSURANCE AND RELIABILITY |
| レポートNO | 94N21707 |
| 権利 | No Copyright |
| URI | https://repository.exst.jaxa.jp/dspace/handle/a-is/114893 |
