混合言語向け高機能検証プラットフォーム、Riviera-PROの最新バージョン2013.10のリリースを発表しました。このバージョンではデバッギング・ツールスイートが強化され、X値、または「不定値」の関わる問題をビジュアルで表示してデバッグできる機能が加わりました。Finder」は、RTLとゲートレベルのシミュレーションで、X値発生源として考えられる所を追跡するという、かつては難しかった課題をグラフィカルに解決するツールです。Melnikのコメント:「X値は、大体はブロック出力のところで問題になるので、発生源が何クロックも先の場所に隠されるためデバッグしにくいものでした。通常はデザインのロジックを慎重にさかのぼって調べなければなりません。Finderはデザイン内部でX値の発生源と思われる場所をグラフィックで表示し、見つけやすくします。Xの伝搬路をグラフベースで分析するという直感的で強力なオプションとなります。」X値を認識できる自動コードレビューと、X値アサーションチェック、それにX値を認識できるRTLおよびゲートレベルシミュレーションを取り込むことで、Riviera-PROはデザインフロー全体でX値に関連する障害を抽出・追跡・回避できる総合的なソリューションとなりました。2013.10について詳細や、チュートリアルや無償評価版ダウンロード、最新情報プレゼンテーションなどについては、http://www.aldec.com/Products/Riviera-PROをご覧ください。Nevada)は、エレクトロニクス・デザイン検証のインダストリ・リーダです。RTLデザイン作成、RTLシミュレータ、ハードウェア・アシステッド検証、デザインルールチェック、IPコア、DO-254機能検証および軍事/航空宇宙向けソリューションといったパテントを取得したテクノロジを提供しています。