Demo of designing a modern CPU in Verilog/VHDL
I don't think such large ICs are designed directly in Verilog, no more than large software projects are written in assembly. I suspect the big makers, like Intel and AMD, have specialist compiler-like software that generates Verilog from much more high-level descriptions, such as register transfer languages.