【51DAC】Blue Pearl、FPGAだけじゃないASIC向けにも使える低コストRTL静的解析ツール

2014年6月1日-5日、カリフォルニア州サンフランシスコで開催された第51回Design Automation Conferenceの展示会レポート。

RTL静的解析ツールを手掛けるBlue Pearl Softwareのブースは年々大きくなる印象。同社のブースではRTLサインオフの実現を目指す一連のRTL静的解析ツールを展示していた。

dac_bluep01.jpg
※Blue Pearlのブースはサムスンの向かいに位置

dac_bluep02.jpg※画像はBlue Pearlのニュースレター掲載のもの

Blue Pearl SoftwareはRTL静的解析ツールとしてLintツール、CDCチェック、SDC生成と大きく3種類の製品を提供しており、ここ最近はFPGA設計向けのRTLサインオフ・ソリューションとして打ち出している。話によるとFPGA向けというのはそのツールの価格の安さからくるもので、製品の定価は明らかにされていないがBlue Pearl Softwareのツールは競合製品よりも大幅に安い価格で購入できるようだ。

また、安さだけではなくツールの機能面においても幾つか優れた特徴があり、例えばLint機能を中心としたRTL解析ツール「Analyze RTL」はFPGAベンダ向けのチェック機能を備えているほか、フォーマル検証技術によるステートマシン解析機能なども用意されておりRTLからステートマシンを抽出しデッドロックや到達不能ステートの検出を自動処理できる。

dac_bluep00.jpg
※画像はFSM解析機能のGUI画面(Blue Pearl社Webサイト掲載)


更にセットアップのし易さと充実したビジュアル環境も同社ツールの特徴の一つで、今回のDACでは新しくなった「Analyze RTL」のセットアップ・ウィザードや新たなCDC解析向けのクロック解析ダイアグラムなどを披露していた。

ちなみにBlue Pearl Softwareは日本国内にもオフィスを構えており、日本人エンジニアによる技術サポートも可能。FPGAユーザーに限らずASICユーザーにも手軽な高機能RTL解析ツールとしてBlue Pearl Softwareの製品を利用して欲しいとの事だった。

Blue Pearl Software

= EDA EXPRESS 菰田 浩 =
(2014.06.18 )