Towards Robust False Path Analysis
Existing false path detection techniques such as floating mode
analysis have explicit dependency on gate delay assignments,
i.e. if gate delays increase as the result of gate sizing,
the false path information is invalidated and needs to be
recomputed from scratch. I will show that false path detection
can be done independent of gate delay assignments without
losing accuracy. The core technique used is a generalization
of false-path-aware required time analysis I proposed earlier.
Saldanha has recently addressed the same problem with a
different approach. I will contrast my work with his.