3/18/2003
A. Code for reporting hazards of general
nodelists (Kronos files).
Status: Coding done, all results match Atacs verifier except those with internal cycles. (Look at sbuf-send-pkt2 file). Front burner.
B. Code for reporting hazards of my specific
decomposition nodelists.
Status Coding done except for monotonicity check. Two ways I could go here …. Front burner.
C. Go through the monotonicity check code carefully.
Status: Waiting to be done. Middle burner.
D. Getting gprof running under Cygwin and using
it for optimization.
Status: Front burner.
D. Code to update the arrival times at the
inputs.
Status: Middle burner.
E. Code to do timed hazard checking with
level-based events.
Status: Back burner.
F. Code to output warning about timing issues.
Status: Back burner.
G. Code to read in and parse a library file in
SIS format.
Status. Back burner.
H. Code to free data structure memory after
use.
Status: Coding done but memory still leaking badly. Back burner.
I. Code to get the correct zone at the start of
timing analysis.
Status: Back burner.
A.
3. Other
issues.
A. Thesis.
1. Get style file, Peskin’s makefile up and
going, etc..
Status: Back burner.
B. ICCAD.
1. Get style file, etc.
Status: Middle burner.
C. Japan questions.
1.