回路変更を用いたプロトタイプ設計検証における高速化

• Item type: SIG Technical Reports(1)
• 公開日: 2007-03-16
• タイトル: 回路変更を用いたプロトタイプ設計検証における高速化
• タイトル / 言語: en
• タイトル: Acceleration of Prototyping Design Verification Using Circuit Modification
• 言語: jpn
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: 早稲田大学院情報生産システム研究科
• 著者所属: 早稲田大学院情報生産システム研究科
• 著者所属: 早稲田大学院情報生産システム研究科
• 著者所属(英): en
• 著者所属(英): Graduate School of Information, Production, and Systems, Waseda University
• 著者所属(英): en
• 著者所属(英): Graduate School of Information,Production, and Systems, Waseda University
• 著者所属(英): en
• 著者所属(英): Graduate School of Information, Production, and Systems, Waseda University
• 著者名: 井上, 敬太; ?唯頡; 木村, 晋二
• 著者名(英): Keita, INOUE; Xing, WEIJIE; Shinji, KIMURA
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 電子機器の普及に伴い，高機能化が進むSoC（System on Chip）開発において，設計期間の60％以上を占める検証期間の短縮が求められている．検証では，シミュレーションが主に用いられているので，シミュレーションの高速化が重要である．一般的には，FPGAなどのハードウェアを用いたエミュレーションによってシミュレーションの高速化を図るが，エミュレーションによる高速化だけでは十分ではない．そこで同期式マイクロパイプライン方式を提案し，高速なクロックで機能検証を行う手法を示す．同期式パイプライン法は，－次元的に処理が行われる場合には有効に適用できる．また，パイプライン各段の組合せ回路の高速化として，組合せ回路の最長経路のfalse path化による手法，とくに0信号伝播と1信号伝播を分けて伝播する手法を示す．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: In recent SoC (System on Chip) design, more then 60% of design period has been spent by the verification, so we need efficient verification method to reduce the verification time. In the verification, functional simulation is mainly applied, and the acceleration of the simulation by using hardware emulation with FPGA is considered effective. The emulation for large circuits, however, is rather slow, and the speed-up is expected for the reduction of the verification time. In this report, we show an accelerator method based on synchronous pipelining and false-path based combinational circuit delay reduction method. The synchronous pipelining is effective to one-dimensional processing circuits. In the false path-based methods, we focus on the 0&1 skip method where we propagate 0-signal and 1-signal separately.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AA12149313
• 書誌情報: 情報処理学会研究報告組込みシステム（EMB）; 巻 2007, 号 27(2007-EMB-004), p. 113-118, 発行日 2007-03-16
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会