Index of /~hunt/class/2008-fall/cs389r/de-hdl

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 arity.lisp              06-Nov-2008 08:26  5.3K  
 asym-load-file.lisp     13-Feb-2009 09:21  592   
 de5.lisp                06-Nov-2008 08:27  8.9K  
 depends.lisp            11-Nov-2008 11:50  1.7K  
 hdl.tgz                 13-Feb-2009 09:44   12K  
 help-defuns.lisp        11-Nov-2008 11:58  4.0K  
 measure.lisp            27-Sep-2004 09:17  2.2K  
 primitives.lisp         17-Feb-2000 22:56  3.2K  
 sts-okp.lisp            12-Nov-2008 14:17  3.6K  
 sym-examples.lisp       12-Nov-2008 14:52   19K  
 syntax.lisp             06-Nov-2008 08:21   11K  

               A Simplie Hardware Description Language
                         Warren A. Hunt, Jr.

                              Fall, 2008

This README file was initially based on chapter in the
book "Computer-Aided Reasoning: ACL2 Case Studies".  I
have generalized the primitives to use uBDD operations
instead of ACL2 Boolean operations.

Inside of ACL2, do

  (ld "asym-load-file.lisp")

to have ACL2 process the events.  This set of events does
not check wiring dependencies or for loops.  See the file
"sym-examples.lisp" for some usage examples.