本セミナーではCALYPTO社のシーケンシャル等価性検証ツールを核とした検証メソドロジをご紹介いたします。
なお、実際にSLECを体験していただき等価性検証を実体験していただくことを目的としています。
（本セミナーの受講にあたり、C/C++/SystemC/RTLの少々の知識が必要です）
| 講座名 | 『CALYPTO社 SLEC体験セミナー（無償）』 ～シーケンシャル等価性検証ツールによる次世代の検証手法～ |
|---|---|
| 講習期間 | 0.5日間 (13:30-17:30) |
| 講座概要 | 本セミナーではCALYPTO社のシーケンシャル等価性検証ツールを核とした検証メソドロジをご紹介いたします。
なお、実際にSLECを体験していただき等価性検証を実体験していただくことを目的としています。
（本セミナーの受講にあたり、C/C++/SystemC/RTLの少々の知識が必要です） |
| 講座内容 | ・Calypto Design Systems(カリプト社)会社概要と製品概要 ・SLEC「シーケンシャル等価性検証」の仕組み ・SLEC体験 （C 対 VerilogHDLの等価性検証） ・SLEC基本スクリプト ・SLECデバッグ体験（演習) 注）内容は一部変更になる可能性があります |
| 演習 | ・Unix／Linuxベースの環境で演習を行います ・EDAツール：SLEC |
| 日程 | 最新のスケジュールとお申込状況はこちらからご確認ください。 |
| 定員 | １２名（最小開催人数：４名） |
| 場所 | 株式会社エッチ・ディー・ラボ 神奈川県横浜市港北区新横浜3-1-4 プラスタリアビル6F |
| 申し込み | 受講申込規約をご確認いただき、こちらよりお申し込みください。 |
| 問い合わせ | こちらからよりお問い合わせください。 |
