These files were found at http://www.stefanvhdl.com