【51DAC】Blue Pearl、FPGAだけじゃないASIC向けにも使える低コストRTL静的解析ツール
2014年6月1日-5日、カリフォルニア州サンフランシスコで開催された第51回Design Automation Conferenceの展示会レポート。
RTL静的解析ツールを手掛けるBlue Pearl Softwareのブースは年々大きくなる印象。同社のブースではRTLサインオフの実現を目指す一連のRTL静的解析ツールを展示していた。
※Blue Pearlのブースはサムスンの向かいに位置
※画像はBlue Pearlのニュースレター掲載のもの
Blue Pearl SoftwareはRTL静的解析ツールとしてLintツール、CDCチェック、SDC生成と大きく3種類の製品を提供しており、ここ最近はFPGA設計向けのRTLサインオフ・ソリューションとして打ち出している。話によるとFPGA向けというのはそのツールの価格の安さからくるもので、製品の定価は明らかにされていないがBlue Pearl Softwareのツールは競合製品よりも大幅に安い価格で購入できるようだ。
また、安さだけではなくツールの機能面においても幾つか優れた特徴があり、例えばLint機能を中心としたRTL解析ツール「Analyze RTL」はFPGAベンダ向けのチェック機能を備えているほか、フォーマル検証技術によるステートマシン解析機能なども用意されておりRTLからステートマシンを抽出しデッドロックや到達不能ステートの検出を自動処理できる。
※画像はFSM解析機能のGUI画面(Blue Pearl社Webサイト掲載)
更にセットアップのし易さと充実したビジュアル環境も同社ツールの特徴の一つで、今回のDACでは新しくなった「Analyze RTL」のセットアップ・ウィザードや新たなCDC解析向けのクロック解析ダイアグラムなどを披露していた。
ちなみにBlue Pearl Softwareは日本国内にもオフィスを構えており、日本人エンジニアによる技術サポートも可能。FPGAユーザーに限らずASICユーザーにも手軽な高機能RTL解析ツールとしてBlue Pearl Softwareの製品を利用して欲しいとの事だった。
※Blue Pearl Software