Topics Covered:
Verilog Coding of State Machines 0:00
Mealy and Moore Machines,
One hot encoding
Methodical Verification 40:06
Directed Verification, Rigorous Verification,
Random Verification, Hybrid Approach
Verilog code for FIFO Random Verification
SUBSCRIBE!
/ @renzymeducation
Slides available at: https://tinyurl.com/dld-slides
Slides used in this lecture are part of "FPGA based Design" Training program at Renzym
http://www.renzym.com/trainings.html
This course was taught at Abasyn University Islamabad, Fall 2016
http://www.abasynisb.edu.pk/