VC Formal Learning Series 2019

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

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

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

 

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

 

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

次回 (第4回) は 10月の開催を予定。詳細は決定次第、本ウェブサイトにてご紹介いたします!

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

 

終了したトレーニング :

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

 

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

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

 

第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.,)