Capturing Functional Behavior in Analysis
Looking for a path delay calculation approach that :
- Is conservative
- Is not (overly) pessimistic
- Incorporates functional (Boolean) behavior
- Eliminates false paths from analysis
- Is as easy to calculate as possible
- Prefer single vector condition (2^n space) to two-vector condition with (2^n * 2^n)