Coding issues

1. Add support for SIS libraries. Yet to do:
   • Commbinational: cells with multiple care terms.
   • gC's: Input renaming, level calculation, cells with multiple care terms.
   • Append cells with multiple inverters on inputs to library.
2. Matching both legs of nand gates.
3. Code to put an x in the coloring after a hazard is detected.
4. Add logic check to ensure gC gates do not have a shorted stack.
5. Finish input permutation code.

Future Work?

1. Add code to determine if a reported hazard is true or false.
2. Add code to remove zero cost buffers from the covered netlist.
3. Add code to insert buffer delays where mono hazards exist.
4. Modify cge.acc code so the cge is computed from my decomposition.
5. Unwinding zones and/or using POSETS in timed hazard checking.
6. Code to do timed hazard checking with level-based events.
7. Add support or writing VHDL type output files.

Thesis issues

General

1. Redo, expand abstract.
2. Finish acknowledgement, dedication sections.

Introduction

1. Expand on reference citations: GALS, clock skew, automated systems for synch design

Semantics

1. Finish text on gC circuits and an example to illustrate how covering can cause short circuits in a gC mapping.
2. Complete section on hazard definitions.
3. Finish the hazard example explaining how hazards occur.
4. Add covering example of mono. and ack. hazards.
5. Find a good second example. Maybe the half or ebergen circuits (.acc files, not decomp files).

Verification

1. Enhance the discussion of how the SG is derived from the TPN.
2. Weave in more detail in general in this chapter.
3. Add a second example with lots of complexity so I can explain all the nuances of the timing algorithms.

Decomposition

1. Top-level structure of chapter.

Matching/Covering

1. Top-level structure of chapter.

Results

1. What results do I really want to portray?

Conclusions

1. Weave in proper prose to this section.
2. Complete future work section.

References

1. Get hard copies of references.

ICCAD issues

1. Determine conference costs and funding sources.
2. Submit travel grant application. Done.
3. Make travel arrangements.
4. Prepare presentation.

Other issues

1. Think about timeline for defense.