概要

等価性検証の概要やConformalの実際の使用法等を習得していただきます。

受講対象者

・UNIX / LINUX の基礎知識をお持ちの方
・HDL設計(Verilog、VHDL、論理合成)の基本概念を理解されている方
・Cadence Encounter Conformal を利用する予定の方

カリキュラム

・Encounter Conformal プロダクト・ファミリの紹介
・論理等価性チェックの紹介

LECフロー：
　Setupモード
　ブラックボックスの指定
　ライブラリ、デザインの読み込み
　デザイン制約の指定
　モデリング・ディレクティブの指定

LECフロー：
　LECモード
　マッピング
　マップされないキー・ポイントの解決
　コンペア処理
　不等価キー・ポイントのデバッグ
　analyze コマンド

階層構造を持つデザインのコンペア

関連コース

Conformal ECO