It is always nice to see some one to keep their promises, HT-LAB promised to release the CPU86 RTL sources some time in 2006, but actually they did it already late 2005, they really did !
the download is immediatly available:
please READ THE LICENSE in the download archive, the CPU86 is Aladdin License, not pure GPL!
I have unfortunatly have not yet have had time to recheck the RTL version of the core, the EDIF worked 'out of box', some info about our test setup with it is here
Antti
PS Hans THANKS zillion times and be my :) with you