WEKO3
アイテム
大規模システムLSI設計のための統一的ハードウェア・ソフトウェア協調検証手法
https://doi.org/10.18997/00006407
https://doi.org/10.18997/00006407ff85cf81-a0da-4423-8f8e-976520377a2e
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
jou_k_328.pdf (3.4 MB)
|
|
| アイテムタイプ | 学位論文 = Thesis or Dissertation(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 2017-10-12 | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_db06 | |||||||
| 資源タイプ | doctoral thesis | |||||||
| タイトル | ||||||||
| タイトル | Unified Hardware/Software Co-verification Framework for Large Scale Systems | |||||||
| 言語 | en | |||||||
| タイトル | ||||||||
| タイトル | 大規模システムLSI設計のための統一的ハードウェア・ソフトウェア協調検証手法 | |||||||
| 言語 | ja | |||||||
| 言語 | ||||||||
| 言語 | eng | |||||||
| 著者 |
Nana Sutisna
× Nana Sutisna
|
|||||||
| 抄録 | ||||||||
| 内容記述タイプ | Abstract | |||||||
| 内容記述 | Currently, the complexity of embedded LSI system is growing faster than the productivity of system design. This trend results in a design productivity gap, particularly in tight development time. Since the verification task takes bigger part of development task, it becomes a major challenge in LSI system design. In order to guarantee system reliability and quality of results （QoR）, verifying large coverage of system functionality requires huge amount of relevant test cases and various scenario of evaluations. To overcome these problems, verification methodology is evolving toward supporting higher level of design abstraction by employing HW-SW co-verification. In this study, we present a novel approach for verification LSI circuit which is called as unified HW/SW co-verification framework. The study aims to improve design efficiency while maintains implementation consistency in the point of view of system-level performance. The proposed data-driven simulation and flexible interface of HW and SW design become the backbone of verification framework. In order to avoid time consuming, prone error, and iterative design spin-off in a large team, the proposed framework has to support multiple design abstractions. Hence, it can close the loop of design, exploration, optimization, and testing. Furthermore, the proposed methodology is also able to co-operate with system-level simulation in high-level abstraction, which is easy to extend for various applications and enables fast-turn around design modification. These contributions are discussed in chapter 3. In order to show the effectiveness and the use-cases of the proposed verification framework, the evaluation and metrics assessments of Very High Throughput wireless LAN system design are carried out. Two application examples are provided. The first case in chapter 4 is intended for fast verification and design exploration of large circuit. The Maximum Likelihood Detection （MLD） MIMO decoder is considered as Design Under Test （DUT）. The second case, as presented in chapter 5, is the evaluation for system-level simulation. The full transceiver system based on IEEE 802.11ac standard is employed as DUT. Experimental results show that the proposed verification approach gives significant improvements of verification time （e.g. up to 10,000 times） over the conventional scheme. The proposed framework is also able to support various schemes of system level evaluations and cross-layer evaluation of wireless system. | |||||||
| 目次 | ||||||||
| 内容記述タイプ | TableOfContents | |||||||
| 内容記述 | 1 Introduction||2 Design and Verification in LSI System Design||3 Unified HW/SW Co-verification Methodology||4 Fast Co-verification and Design Exploration in Complex Circuits||5 Unified System Level Simulator for Very High Throughput Wireless Systems||6 Conclusion and Future Work | |||||||
| 備考 | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | 九州工業大学博士学位論文 学位記番号：情工博甲第328号 学位授与年月日：平成29年6月30日 | |||||||
| キーワード | ||||||||
| 主題Scheme | Other | |||||||
| 主題 | LSI Design Methodology | |||||||
| キーワード | ||||||||
| 主題Scheme | Other | |||||||
| 主題 | Unified HW/SW Co-verification | |||||||
| キーワード | ||||||||
| 主題Scheme | Other | |||||||
| 主題 | System Level Simulation | |||||||
| キーワード | ||||||||
| 主題Scheme | Other | |||||||
| 主題 | Hardware-In-the Loop | |||||||
| キーワード | ||||||||
| 主題Scheme | Other | |||||||
| 主題 | Wireless System | |||||||
| アドバイザー | ||||||||
| 尾知, 博 | ||||||||
| 学位授与番号 | ||||||||
| 学位授与番号 | 甲第328号 | |||||||
| 学位名 | ||||||||
| 学位名 | 博士（情報工学） | |||||||
| 学位授与年月日 | ||||||||
| 学位授与年月日 | 2017-06-30 | |||||||
| 学位授与機関 | ||||||||
| 学位授与機関識別子Scheme | kakenhi | |||||||
| 学位授与機関識別子 | 17104 | |||||||
| 学位授与機関名 | 九州工業大学 | |||||||
| 学位授与年度 | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | 平成29年度 | |||||||
| 出版タイプ | ||||||||
| 出版タイプ | VoR | |||||||
| 出版タイプResource | http://purl.org/coar/version/c_970fb48d4fbd8a85 | |||||||
| アクセス権 | ||||||||
| アクセス権 | open access | |||||||
| アクセス権URI | http://purl.org/coar/access_right/c_abf2 | |||||||
| ID登録 | ||||||||
| ID登録 | 10.18997/00006407 | |||||||
| ID登録タイプ | JaLC | |||||||
