Statistical static timing analysis
subject: Category:Timing in electronic circuits
subject: Category:Formal methods