Timing analysis Simulation (internal & system-level) Formal verification Power analysis Signal integrity analysis In-system testing