5/27/2003
A. Covering and matching.
1. Add code to insert more inverters in internal nodes of
decomposition.
Status: Front burner.
2. Add SOP-to-decomp function to support SIS libraries.
Status: Middle burner.
3. Add logic check to ensure gC’s do not have a shorted stack.
Status: Middle burner.
B. Input permutations. Finish code.
Status: Middle burner.
C. Modify cge.acc code so the cge is computed
from my decomposition.
Status: Back 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 put an x in the coloring after a
hazard is detected.
Status: Back burner.
2. Thesis
A. Working on introduction chapter.
Estimated length 15 pages.
Status: Daily burner. Plugging away.
3. SRC.
A. Arrange travel to Techcon.
Status: Middle burner. Waiting for travel voucher from SRC.
B. Call Ginny Wiggins re. fellowship.
Status: Middle burner.