The Y80 microprocessor is documented in the book
"Microprocessor Design Using Verilog HDL",
which is available from the Circuit Cellar Webshop.

The Y80 design is released under "Apache-2.0 WITH SHL-2.1" license terms.

The code for the control section is now included.