SoC

교육내용

Formal Verification Concept and introduction for Automated Formal Apps in QuestaFormal

교육목표

Exhaustive Design Verification using QuestaFormal

교육대상

Digital Design and Verification engineer

교육과정

Day 1

    - Formal Verification concept, Introduction for Automated Formal Apps, Labs

Day 2

    - Introduction for Automated Formal Apps, Labs