MathWorks、Universal Verification Methodology (UVM)のサポートによってFPGA および ASIC の検証を高速化
- 2020年01月15日 11:30:00
- マネー
- Dream News
- コメント
HDL Verifier で Simulink から UVM コンポーネントとテストベンチを自動的に生成
MathWorks は本日、HDL VerifierでのUniversal Verification Methodology (UVM)のサポート提供について発表しました。サポート提供の対象は、現在利用可能なRelease 2019b以降からとなります。FPGA/ASICの設計検証エンジニアは、HDL Verifierを使用することで、SimulinkモデルからUVMコンポーネントとテストベンチを直接生成し、Synopsys、Cadence、MentorなどのUVMをサポートするシミュレーターで使用できます。
Wilson Research Groupによる最新の研究結果(*1)によると、FPGA設計プロジェクトの48%とASIC設計プロジェクトの71%がUVMを使用して設計検証を行っていることが分かりました。通常、アルゴリズムの開発者やシステム設計者は、MATLABおよびSimulinkで新しいアルゴリズム コンテンツを開発します。続いて、設計検証 (DV) エンジニアがMATLABおよびSimulinkモデルをリファレンスとして使用し、RTLテストベンチのコードを手書きしますが、このプロセスは非常に時間がかかる場合がありました。今後は、DVエンジニアはHDL Verifierを使用して、Simulinkで開発済みのシステムレベルのモデルからシーケンスやスコアボードなどのUVMコンポーネントを自動的に生成できるようになりました。この手法により、検証エンジニアは、ワイヤレス通信や組み込みビジョン、制御などに使用されるASICとFPGA設計用のテストベンチの開発にかかる時間を短縮できます。
Allegro MicroSystemsのASIC Development ManagerであるKhalid Chishti氏は次のように述べています。「Simulinkにより、量産用UVMテストベンチやテストシーケンス、スコアボードの手作業でのコーディングにかかる時間が約 50% 短縮されました。これにより画期的なイノベーションのためのアプリケーションの開発に専念できます。自動車分野向けに設計された当社のASICでは、UVMを使って製品検証を行っています。これまではこのようなデバイス用のアルゴリズムを開発するのは煩わしい作業でしたが、MATLABや Simulinkを使用することで、簡略化できます。」
MATLABやSimulinkからのUVMコンポーネントやSystemVerilogアサーション、SystemVerilog MATLAB DPIコンポーネントの生成をはじめとした新機能によって、ASICおよびFPGAの製品検証を担当する設計検証チームに対して、HDL Verifierで拡張サポートが提供されるようになりました。これまで設計検証チームはSystemVerilogで手作業でコーディングしてHDLシミュレーターで厳密なテストベンチを開発しなければなりませんでした。今後は、既存のMATLABおよびSimulinkモデルから検証コンポーネントを直接生成し、これらのモデルを再利用することで、生産検証環境を迅速に作成できます。
MathWorksのPrincipal HDL Product Marketing ManagerであるEric Ciganは次のように述べています。「Wilson ResearchとMentor Graphicsによる 2018 年の機能検証調査によると、DVエンジニアはASICおよびFPGAプロジェクトに約 5 分の 1 の時間をテストベンチ開発に費やしています。既存のMATLABおよびSimulinkモデルからUVMおよびSystemVerilog DPIコンポーネントを生成するHDL Verifierの機能によって、DVエンジニアの生産性が向上するだけでなく、システム設計者、ハードウェア設計者、DVエンジニア間の連携も強化されます。」
HDL Verifier R2019bはすでに提供されています。詳細については、https://jp.mathworks.com/products/hdl-verifier.html?s_tid=srchtitle をご覧ください。
(*1)https://blogs.mentor.com/verificationhorizons/blog/2019/02/14/part-10-the-2018-wilson-research-group-functional-verification-study/
Allegro Microsystems について
Allegro MicroSystemsは、電力およびセンシング技術の未来を再定義しています。グリーンエネルギーから先進モビリティ、モーション コントロール システムに至るまで、当社のチームは世界を進歩させ、お客様に競争上の優位性を提供するインテリジェントなソリューションの開発に情熱を注いでいます。グローバルなエンジニアリング、製造、サポートにより、Allegroは大企業と世界中の地域市場リーダーの双方にとって信頼できるパートナーとなっています。www.allegromicro.com をご覧ください。
MathWorks について
MathWorks (マスワークス)は、数学的計算で業界をリードする世界的なソフトウェア開発会社です。MATLAB は、エンジニアと科学者のための言語として、アルゴリズム開発、データ解析、可視化、数値計算のためのプログラミング環境を提供します。Simulink は、マルチドメインおよび組み込みエンジニアリング システムのシミュレーションとモデルベースデザインのためのブロック線図環境です。世界中のエンジニアや科学者が、自動車、航空宇宙、エレクトロニクス、金融機関、生命工学、製薬などの産業分野において、発見、革新、開発を加速させるためのツールとしてこれらの製品ファミリを活用しています。また、MATLAB および Simulink は、教育および研究に欠かせないツールとして、世界各国の大学や教育機関において活用されています。MathWorks は 1984 年に創業で、現在は、マサチューセッツ州ネイティックを本拠地とし、世界 16 か国で 4,500 名以上の従業員が活躍しています。詳細については、mathworks.com をご覧ください。
MATLAB and Simulink are registered trademarks of The MathWorks, Inc. See mathworks.com/trademarks for a list of additional trademarks.Other product or brand names may be trademarks or registered trademarks of their respective holders.
配信元企業:The MathWorks GK
プレスリリース詳細へ
ドリームニューストップへ
「普通は逮捕される事案ではない」広末涼子容疑者現行犯逮捕の“異例さ”背景を著名弁護士が解説
古市憲寿氏、広末涼子容疑者の事件に疑問「こんなに騒ぐ事件なのかな」「罪と罰のバランスが…」
【オリックス】エスピノーザ10日ソフトバンク戦先発「1番お気に入りのマウンド」本拠地勝利へ
へずまりゅう、鹿パトロール実った?鹿への暴力的行為が禁止事項に、奈良都市公園条例の運用改正
フジテレビが「Live News イット!」青井実キャスターに不適切な言動をしないよう申し入れ
【ヤクルト】つば九郎デビュー記念日は31年目と同じ阪神戦「感謝とありがとう」の石川雅規先発
【阪神】体調不良の佐藤輝明2日連続ベンチスタート 試合前練習からグラウンドに姿見せず
ロバーツ監督、スミスらが国会議事堂訪問 グラスノーは関係者専用地下鉄に「かっこいい」
【阪神】森下、大山、前川のクリーンアップ 木浪プロ初三塁先発 佐藤輝はベンチ/スタメン一覧
阪神デュプランティエ-ヤクルト山野太一、楽天岸孝之-日本ハム北山亘基ほか/10日予告先発
多部未華子(30)結婚の裏事情あまりにも恐ろしすぎると話題に!
広末涼子容疑者は奈良から車で移動中だった「なかなか厳しいのでは」識者が疑問呈す
広末涼子容疑者の元夫キャンドル・ジュン氏が繰り返した語った言葉「心が…」がネットで再注目
自称広末涼子容疑者逮捕「涙出てくる。悔しい」“本物”は全国TVで社長の苦悩語ったばかり
広末涼子容疑者 事件当時、受け答え難しい状況 看護師への傷害容疑
サンド富澤たけし、漫才中に観客がゾロゾロと途中離席「帰るんですか?!」驚きのその理由とは?
広末涼子容疑者の医療従事者暴行 木下博勝氏も被害明かす「幸いにも大怪我では無かったので…」
傷害容疑で逮捕の広末涼子容疑者「パニックに」 芸能活動は自粛へ
「普通は逮捕される事案ではない」広末涼子容疑者現行犯逮捕の“異例さ”背景を著名弁護士が解説
橋下徹氏、中居正広氏が「どれだけ反論したのか」分からないけど「反論するなら反論すればいい」
多部未華子(30)結婚の裏事情あまりにも恐ろしすぎると話題に!
二階堂ふみが結婚!?お相手が衝撃的過ぎてネット民「マジか・・・」
【おすすめアニメ50選】完結済み!定番から最新作まで!
中居正広氏、14年前に脳科学者が「女性におぼれて芸能界追放」と“予言” X騒然「すごい」
小澤征悦と再婚した桑子真帆アナ(34)黒い過去が流出、衝撃の過去にネット騒然
「中居正広」Xトレンド入り、第三者委員会の調査報告書にツッコミ殺到「こりゃ酷い」の声
楽しんご、銭湯での男性へのわいせつ行為で逮捕された中孝介容疑者に“8文字”でずばり私見
広末涼子容疑者は奈良から車で移動中だった「なかなか厳しいのでは」識者が疑問呈す
広末涼子容疑者の元夫キャンドル・ジュン氏が繰り返した語った言葉「心が…」がネットで再注目
万引き逮捕の米田哲也容疑者を「ご親族かどなたか助けてあげられないのか」紀藤正樹氏「悲しい」

「普通は逮捕される事案ではない」広末涼子容疑者現行犯逮捕の“異例さ”背景を著名弁護士が解説
古市憲寿氏、広末涼子容疑者の事件に疑問「こんなに騒ぐ事件なのかな」「罪と罰のバランスが…」
【オリックス】エスピノーザ10日ソフトバンク戦先発「1番お気に入りのマウンド」本拠地勝利へ
へずまりゅう、鹿パトロール実った?鹿への暴力的行為が禁止事項に、奈良都市公園条例の運用改正
フジテレビが「Live News イット!」青井実キャスターに不適切な言動をしないよう申し入れ
【ヤクルト】つば九郎デビュー記念日は31年目と同じ阪神戦「感謝とありがとう」の石川雅規先発
【阪神】体調不良の佐藤輝明2日連続ベンチスタート 試合前練習からグラウンドに姿見せず
【阪神】森下、大山、前川のクリーンアップ 木浪プロ初三塁先発 佐藤輝はベンチ/スタメン一覧
ロバーツ監督、スミスらが国会議事堂訪問 グラスノーは関係者専用地下鉄に「かっこいい」
阪神デュプランティエ-ヤクルト山野太一、楽天岸孝之-日本ハム北山亘基ほか/10日予告先発