Path: utzoo!mnetor!uunet!husc6!mailrus!nrl-cmf!ames!pasteur!ucbvax!DIP.BBN.COM!pbassett
From: pbassett@DIP.BBN.COM (Paul Bassett)
Newsgroups: comp.lsi
Subject: Crystal papers
Message-ID: <8804112150.AA01474@Think.COM>
Date: 11 Apr 88 20:39:59 GMT
Sender: daemon@ucbvax.BERKELEY.EDU
Organization: The Internet
Lines: 14


  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