5/5/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.
2. Add code
to write .allnodes.acc file for a covered netlist. Test.
Status: Front burner.
3. Add
code to use continuous counter for covered output .acc files. Test.
Status: Front burner. Done. Needs testing.
4. Add linked list of hazards with more info
to facilitate input permuting and matching/covering. Test.
Status: Middle burner.
4. Add code to encapsulate ack hazards and not encapsulate mono hazards. Test thouroughly.
Status: Middle burner.
5. Add gC’s to built-in library. Test.
Status: Front burner.
6. 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: Middle burner.
C. Input permutations. Adapt to the addition of inverters for minus inputs.
Status: Back burner.
E. Unwinding zones and/or using POSETS in timed
hazard checking.
Status: Back burner.
F. Code to do timed hazard checking with
level-based events.
Status: Back burner.
G. Code to free data structure memory after
use.
Status: Coding done but memory still leaking. Back burner.
2. Thesis
A. Need to incorporate outline and create proper chapter
organization.
Status: Daily burner.
3. SRC.
A. Create 4-page extended abstract.
Status: Middle burner.
B. Arrange travel to Techcon.
Status: Middle burner.
C. Call Ginny Wiggins re. fellowship.
Status: Middle burner.