IIT Video lecture 19 - state machines and equivalence checking

Mod-01 Lec-41 VLSI design Verification: Equivalence/Model CheckingПодробнее

IIT Video lecture 21 - model checkingПодробнее

Lect-20 model checkingПодробнее

IIT Video lecture 17 - cBDD.wmvПодробнее

IIT Video lecture 18 - state machines and equivalence checkingПодробнее

IIT Video lecture 14 - testing and verification.wmvПодробнее