http://www.mail-archive.com/picolisp@software-lab.de/msg0483...
...But still no links to source. (As I understand it, this hardware design is expressed in the form of verilog source code.)