I've put my vhdl code on my website at:
http://ssh.scrameta.net/www.scrameta.net/de1/atari800_v1.0.tar.xz
I welcome patches to improve compatibility etc. If you wish to use for commercial purposes please contact me for permission. Otherwise feel free to use as you wish.