2016の「ゴールドスポンサー」としてプレゼンテーションを発表しました。運営する1日のカンファレンス、展示会および企業交流会です。検証に特化したヨーロッパで最大のイベントで、今年は2016年2月4日に英国レディングで開催されました。Co-emulator』というタイトルでプレゼンテーションを行いました。グローブ氏はハードウェア・アシステッド・ベリフィケーションとRTLシミュレータに特に詳しいアルデック・ソリューションのエキスパートです。今回のプレゼンテーションの要約を次に示します。「検証高速化のニーズが今までになく高くなっています。製品の売れる時期が短くなり、製品も複雑化が進んでいるため、テスト期間を長く取る必要があります。このタスクはASICのFPGAプロトタイピングと呼ばれるものです。このようなプロトタイプは最終製品としてのチップに最も近いモデルで、おもにソフトウェアの検証とテスト、それに実際のインタフェースと同じ速度でのテストに使います。同時に、こうしたシステムの性能やスケーラビリティの問題から、FPGAが検証に使われる機会が増えています。したシステムはASICのFPGAプロトタイピングとは機能の面で非常に違います。FPGAを採用することで、検証サイクルの面で最高性能が出せるため、レグレッション・テストに最適です。XilinxのUltraScaleの登場によって、FPGAベース検証の性能は今までで最高になりました。今回の短いプレゼンテーションでは、FPGA協調エミュレータを紹介し、その典型的な使用例を2つ検討します。主催で、ハードウェア・ベリフィケーションの課題を議論するイベントです。エンドユーザーはベンダーと交流しながら現在未来の検証の課題を明確化し、ソリューションを考え出していくことができます。ヨーロッパ在住の他の検証エンジニア達と交流し情報交換できる素晴らしいチャンスです。アルデックについてアルデックは1984年設立の、エレクトロニクス・デザイン検証のインダストリ・リーダです。RTL設計、RTLシミュレータ、ハードウエア・アシステッド・ベリフィケーション、SoCおよびASICプロトタイピング・システム、エミュレーション、デザインルールチェック、CDC検証、VIPトランザクタ、要求ライフサイクル管理、DO-254機能検証および軍事/航空宇宙向けソリューションといったパテントを取得したテクノロジを提供しています。Inc.の登録商標です。その他の商標および登録商標は各所有者の財産です。本リリースは、バリデーション&ベリフィケーション(V&V)データと大規模かつ複雑なFPGA/SoCのDO-254プロジェクトの生成データの管理に必要な機能を搭載しました。コメント:「DO-254に準拠したFPGA/SoCを開発する部門は多種多様で大量のV&Vデータと生成物を作る必要があります。この規模のデータの作成と管理はシステマチックな方法がないと混乱しがちで、結果としてプロジェクトの遅延につながりかねません。最新リリースのSpec-TRACERは、リファレンス・プロジェクト、デザイン、(要求管理の実装・施行方法を丁寧に説明する)ビデオチュートリアル、トレーサビリティ、テスト管理、およびV&Vデータと生成物の管理向けのプロジェクト管理機能などの先進機能を搭載しています。Verification」にご登録ください。2015.12の新機能、サンプルプロジェクト、ビデオチュートリアルパーサは正規表現でのデータ自動取り込みとトレーサビリティをサポートします。DOORS®オブジェクトからキャプチャできます。DOORSフォーマルモジュールのフィルタビューによるDOORSへのインポートおよびエクスポート。DOORSとのインポートとエクスポートの対象となるオブジェクトの数を制限できます。Parsers」チュートリアルで、Spec-TRACERパーサを利用して、色々なソースからトレーサビリティをどう確立すればよいのかを学べます。Spec-TRACERTMについてSpec-TRACERは要求ベースのFPGA/SoCデザイン・検証プロセスを促進する統合型要求ライフサイクル管理アプリケーションです。Spec-TRACERは要求の取り込み、管理、解析、トレーサビリティ、テスト管理およびレポート作成をスムーズに進めるためのツールです。Spec-TRACERはWindowsベースのシミュレーション・ツールとシームレスに統合可能です。販売について新規のお客様、有効な保守契約をお持ちでないお客様は、アルデック・ジャパンまでお問い合わせください。アルデックについてアルデックは1984年設立の、エレクトロニクス・デザイン検証のインダストリ・リーダです。RTL設計、RTLシミュレータ、ハードウエア・アシステッド・ベリフィケーション、SocおよびASICプロトタイピング・システム、エミュレーション、デザインルールチェック、CDC検証、VIPトランザクタ、要求ライフサイクル管理、DO-254機能検証および軍事/航空宇宙向けソリューションといったパテントを取得したテクノロジを提供しています。Inc.の登録商標です。その他の商標および登録商標は各所有者の財産です。