[comp.lsi] Crystal papers

pbassett@DIP.BBN.COM (Paul Bassett) (04/12/88)

  We are looking at using Crystal for timing verification and we would
like to fix a few bugs and add a few extensions.  In order to do so
without breaking Crystal in some fundamental fashion, more information
on Crystal's algorithms and program structure would be nice. I have
not run across any papers concerning Crystal, but I am sure some have
been written.  Any pointers to such papers (or other pertinent info)
would be much appreciated.  Any helpful hints from other Crystal
users/hackers would also be welcome.

  Thanks in advance.

/Paul Bassett
pbassett@bbn.com