Functional Verification Methodologies - Logic Synthesis and Verification | M.Tech VLSI Design