x86 code

Hi. Anyone knows if there exists any x86 HDL code? e.g. VHDL code for an entire 80386. If it includes surrounding memory/IO/x87 components code I will be :). If it is adjusted for a DE2-70 board I wi...