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