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