2024-03-28T21:25:56Zhttps://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaipmhoai:ipsj.ixsq.nii.ac.jp:000238872023-04-27T10:00:04Z01164:01579:01644:01645
メディアプロセッサD30Vの検証手法Verification method of Mediaprocessor D30Vjpnhttp://id.nii.ac.jp/1001/00023887/Technical Reporthttps://ipsj.ixsq.nii.ac.jp/ej/?action=repository_action_common_download&item_id=23887&item_no=1&attribute_id=1&file_no=1Copyright (c) 1997 by the Information Processing Society of Japan三菱電機(株)システムLSI開発研究所三菱電機(株)システムLSI開発研究所三菱電機(株)システムLSI開発研究所三菱電機(株)システムLSI開発研究所三菱電機(株)情報技術総合研究所中木村清吉田, 豊彦山田, 朗佐藤尚和毛利篤史マルチメディア分野への適応が可能なメディアプロセッサとして、独自のアーキテクチャを採用したD30Vを開発した。開発の過程においては、C言語によるシミュレータを作成して演算能力評価およびテストケース作成を行った。機能検証および論理検証では、検証期間を短縮するために、検証方法や検証で用いるテストケース自身に工夫を凝らし、加えて論理検証ではテストベンチの論理合成による回路化を行った。D30Vのプロセッサコア部300kTrに対して命令実行数約32.5万のテストケースを用いて検証を行った。その結果、バグは127個検出され、開発期間は10ヶ月、合計45人月でアーキテクチャ設計から論理検証までを完了することが出来た。We have developed a Media processor D30V with an original architecture which would be suitable for various multimedia applications. In creating its test-cases, we utilized a functional simulator written in C and several ideas to reduce simulation time for functional-level and schematic-level verification. We synthesized its test-benches so that we can use the same method as functional-level verification for schematic-level. We used test-cases of approximately 325,000 steps in functional verification of the D30V, which has 300,000 transistors. During of verification, 127 bugs are detected and fixed. It took 10 months from its architecture design to schematic-level verification, and total human resources accounts for 45man-months.AN10096105情報処理学会研究報告計算機アーキテクチャ(ARC)1997119(1997-ARC-127)49561997-12-112009-06-30