State Machine and Sequential Synthesis - Logic Synthesis and Verification | M.Tech VLSI Design