Title: Principles of verifiable RTL design
Subjects: Electronic digital computers, Very large scale integration, Computer-aided design, Integrated circuits, Verilog (Computer hardware description language)