20.3 Circuit Design Automation with Verilog