NPTEL Video Course : NOC:Digital Design with Verilog

Lecture 32 - FSM Completeness and Correctness