Describir: Statistical Analysis of Circuit Timing Using Majorization.