11/05/2002

1. Coding issues.

A. 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.

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

Status: Currently under development. Progress stalled at the moment.

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

Status: Needs to be done.

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

Status: Algorithm under development.

2. Questions

A. Technical

1. When checking the state graph after coloring, are R->F and F->R the only conditions that should flag a hazard?

2. What do time differences between the originally specified times in the .csp file for outputs and the times calculated through my decomposition mean when it comes to verification?

B. Non-technical

1. Progress meter: I am on schedule to finish about when?

2. SRC funding for 2003-2004?

3. Get Latex and XFIG working under Cygwin.

Status: Yeah, someday.