1. Timing Constraints Analysis
Source of timing constraints
- Time-constrained interactions between system components and its environment
Types of constraints
- Delay and interval constraints (latency-type)
- Rate constraints (throughput-type)
Constraint satisfiability
- Are constraints satisfied for a given implementation?
- Given an implementation, resynthesize to satisfy a given set of constraints.