| Presentation | 2017-05-10 Template-based C Description Generation after ECO at RTL Design Stage Qinhao Wang, Yusuke Kimura, Amir Masoud Gharehbaghi, Masahiro Fujita, |
|---|---|
| PDF Download Page |  PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | In this paper, we present techniques to automatically generate high-level C description after ECO (Engineering Change Order) at RTL design stage. The modified RTL implementation after ECO is used to generate an equivalent C description with our proposed template-based method. The templates are generated from the original design by replacing one or more statements with symbolic variables, and refined to generate the new C description. The refinement process can be formulated as a QBF (Quantified Boolean Formula) problem, and can be solved by using SAT solver in an incremental way. The experimental results on several practical examples show the effectiveness of the proposed method. |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | Engineering Change Order / High-Level Synthesis |
| Paper # | VLD2017-1 |
| Date of Issue | 2017-05-03 (VLD) |
| Conference Information | |
| Committee | VLD / IPSJ-SLDM |
|---|---|
| Conference Date | 2017/5/10(1days) |
| Place (in Japanese) | (See Japanese page) |
| Place (in English) | Kitakyushu International Conference Center |
| Topics (in Japanese) | (See Japanese page) |
| Topics (in English) | System Design, etc. |
| Chair | Takashi Takenana(NEC) / Kiyoharu Hamaguchi(Shimane Univ.) |
| Vice Chair | Hiroyuki Ochi(Ritsumeikan Univ.) |
| Secretary | Hiroyuki Ochi(Fujitsu Labs.) / (Hiroshima City Univ.) |
| Assistant | Parizy Matthieu(Fujitsu Labs.) |
| Paper Information | |
| Registration To | Technical Committee on VLSI Design Technologies / Special Interest Group on System and LSI Design Methodology |
|---|---|
| Language | ENG-JTITLE |
| Title (in Japanese) | (See Japanese page) |
| Sub Title (in Japanese) | (See Japanese page) |
| Title (in English) | Template-based C Description Generation after ECO at RTL Design Stage |
| Sub Title (in English) | |
| Keyword(1) | Engineering Change Order |
| Keyword(2) | High-Level Synthesis |
| 1st Author's Name | Qinhao Wang |
| 1st Author's Affiliation | The University of Tokyo(UTokyo) |
| 2nd Author's Name | Yusuke Kimura |
| 2nd Author's Affiliation | The University of Tokyo(UTokyo) |
| 3rd Author's Name | Amir Masoud Gharehbaghi |
| 3rd Author's Affiliation | The University of Tokyo(UTokyo) |
| 4th Author's Name | Masahiro Fujita |
| 4th Author's Affiliation | The University of Tokyo(UTokyo) |
| Date | 2017-05-10 |
| Paper # | VLD2017-1 |
| Volume (vol) | vol.117 |
| Number (no) | VLD-17 |
| Page | pp.pp.1-6(VLD), |
| #Pages | 6 |
| Date of Issue | 2017-05-03 (VLD) |