Посмотрел. Действительно, есть ez80 ядро на VHDL. Вполне можно его наверное использовать как замену Z80 с расширениями.