Verilog Courses
NPTEL-NOC IITM via YouTube Open Source FPGA Tooling: Current State and Future Prospects - Keynote
Confreaks via YouTube Modular Hardware Design of Pipelined Circuits with Hazards
ACM SIGPLAN via YouTube The Essence of Verilog: A Tractable and Tested Operational Semantics for Verilog
ACM SIGPLAN via YouTube They're the Same Picture: A Software-Verification Flow Adapted for Hardware Verification
ACM SIGPLAN via YouTube Verified Software Security Down to Gates
Conference on Computer-Aided Verification via YouTube