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