メディアプロセッサD30Vの検証手法

• 中木村 清

  三菱電機(株)システムLSI開発研究所

• 吉田 豊彦

  三菱電機(株)システムLSI開発研究所

• 山田 朗

  三菱電機(株)システムLSI開発研究所

• 佐藤 尚和

  三菱電機(株)システムLSI開発研究所

• 毛利 篤史

  三菱電機(株)情報技術総合研究所

書誌事項

タイトル別名

• Verification method of Mediaprocessor D30V

抄録

マルチメディア分野への適応が可能なメディアプロセッサとして、独自のアーキテクチャを採用したD30Vを開発した。開発の過程においては、C言語によるシミュレータを作成して演算能力評価およびテストケース作成を行った。機能検証および論理検証では、検証期間を短縮するために、検証方法や検証で用いるテストケース自身に工夫を凝らし、加えて論理検証ではテストベンチの論理合成による回路化を行った。D30Vのプロセッサコア部300kTrに対して命令実行数約32.5万のテストケースを用いて検証を行った。その結果、バグは127個検出され、開発期間は10ヶ月、合計45人月でアーキテクチャ設計から論理検証までを完了することが出来た。

収録刊行物

• 情報処理学会研究報告. ARC,計算機アーキテクチャ研究会報告

  情報処理学会研究報告. ARC,計算機アーキテクチャ研究会報告 127 49-56, 1997-12-11

  一般社団法人情報処理学会

詳細情報

• CRID: 1574231876807420160
• NII論文ID: 110002775170
• NII書誌ID: AN10096105
• ISSN: 09196072
• 本文言語コード: ja
• データソース種別:
  • CiNii Articles