5/14/2003
A. Covering and matching.
1. Revise code to write the covered
nodelist backwards to the .acc file so the nodes are defined before they are
used.
Status: Front burner. Done. Needs testing. Done testing.
2. Add code
to write .allnodes.acc file for a covered netlist. Test.
Status: Front burner. Tested. Seems to be working.
3. Add
code to use continuous counter for covered output .acc files. Test.
Status: Front burner. Done. Needs testing. Tested. Seems to work.
4. Add linked list of hazards with more info
to facilitate input permuting and matching/covering. Test.
Status: Middle burner. Just added another hazard field in the netlist. Seems to be working fine.
5. Add code to encapsulate ack hazards and not encapsulate mono hazards. Test thoroughly.
Status: Middle burner. Done and tested. Seems to be working.
6. Add gC’s to built-in library. Test.
Status: Front burner.
7. Add SOP-to-decomp function to support SIS libraries.
Status: Middle burner. Test.
B. Modify cge.acc code so the cge is computed
from my decomposition.
Status: Back burner.
C. Input permutations. Adapt to the addition of inverters for minus inputs.
Status: Middle burner.
D. Unwinding zones and/or using POSETS in timed
hazard checking.
Status: Back burner.
E. Code to do timed hazard checking with
level-based events.
Status: Back burner.
F. Code to free data structure memory after
use.
Status: Coding done but memory still leaking. Back burner.
G. Code to put an x in the coloring after a
hazard is detected.
Status: Back burner.
2. Thesis
A. Need to incorporate outline and create proper chapter
organization.
Status: Daily burner. Progress slower than desired.
3. SRC.
A. Create 4-page extended abstract.
Status: Middle burner. Paper done and submitted. Revision is done and needs to be re-submitted.
B. Arrange travel to Techcon.
Status: Middle burner. Waiting for travel voucher from SRC.
C. Call Ginny Wiggins re. fellowship.
Status: Middle burner.
4. Japan expenses.
Tabulated and sent to Wilma on 5/13/2003. Total was $2,243.92