This directory contains the VHDL implementation of the SECD microprocessor
as designed by Brian T. Graham.  This implementation has been done as an
exercise in VHDL by Hans Hübner ([email protected]).  It is a work
in progress and published for reference and amusement.

Copyright 2006 for the VHDL implementation and the microcode tools in
the secd-tools/ directory by Hans Hübner.  Other copyrights apply to
the SECD-Proof/ and the lispkit/ directory.

To use this, you need a Common Lisp implementation in order to
assemble microcode files and translate sexpr files containing SECD
code in list form to binary images that can be run in the simulator.
The common lisp code is in secd-tools and should in theory be portable
Common Lisp.  I am using CLISP, though, and have not put effort into
ensuring portability.  Let me know if you need me to fix something.