VC Formal Learning Series 2019

VC Formalの様々な使用方法・適用事例を通じ、VC Formal Appsのご理解を深めていただくための無償トレーニングコースです。

毎回トピックを絞り込み、VC FormalのAppsをご紹介いたします。

フォーマル検証のエキスパートによるVC Formal Appの多彩な機能の解説はもちろん、実際にツールに触れていただくLab(演習)や、Q&Aの時間もご用意しております。

 

ご興味のあるトピックの回を選択してご参加いだだけます。この機会をぜひお見逃しなく!

 

-----------------------------------

5月中旬 募集開始予定:

第3回: Registered the Value Correct - Formal Register Verification (FRV) 

 

フォーマル検証を用いたRegister Validation (フォーマル・レジスタ検証: FRV)の有用性についてご紹介します。IP-XACT規格に準拠したレジスタ記述や、AHBやAXIといった複雑なインターフェイスを通じて、コントロール・ステイタス・レジスタとそのアクセスポリシーについて学んでいただきます。

 

【 日 時 】  2019年6月18日(火)  13:00-16:30

【 場 所 】  日本シノプシス合同会社 トレーニングルーム

【 講 師 】  Sai Karthik Madabhushi (Synopsys, Inc.) / 上田 淳 (日本シノプシス)

 

-----------------------------------

VC Formal Learning Seriesは全6回を予定!

以降の日程は本ウェブサイトにて随時ご紹介してまいります。

-----------------------------------

 

終了したトレーニング :

 

第2回: More than Logically Equal - Sequential Equivalence Checking (SEQ)

 

【 日 時 】  2019年3月26日(火) 13:00-16:30

【 講 師 】  Sai Karthik Madabhushi (Synopsys, Inc.) / 上田 淳 (日本シノプシス)

 

 

第1回: Reduce Months to Days - Formal Connectivity Checking (CC) at SoC and IP Levels 

 

【 日 時 】  2019年1月16日(水)  13:00-17:30

【 講 師 】  上田 淳 (日本シノプシス)、Sai Karthik Madabhushi (Synopsys Inc.,)