11/19/2002

 

  1. Coding issues.

A.  Begin coding the covering algorithm, including parsing of SIS library files.

Status:   Algorithm under development. Coding started for rudimentary cell matching.

 

B.  Add code to do timed hazard checking with level-based events.

Status:   Algorithm under development. Awaiting input from Chris.

 

C.  Add code to output warning about timing issues.

Status:   More files need to be run through and statistics need to start being compiled. Currently under development.

 

D.  Add code to free data structure memory after use.

Status:   Currently under development. Coding done but memory still leaking badly.

 

E.  Add code to permute the inputs and compile statistics on the number of hazardous nodes created.

Status:   Needs to be done.

 

F.  Reduce the number of parenthesis in the Boolean expressions written to .acc files.

Status:   Back burner.

 

  1. Questions

A.  Technical

1.  Nitpick:  Can you remove the “Unexpected non-zero reference counts” error message?

2.  Removing double inversions from my decomposition. Good and bad …

 

B.  Non-technical

1.

 

  1. Get Latex and XFIG working under Cygwin.

Status:   Planning stages. XFIG tarball downloaded.