Statistical Static Timing Analysis of Conditional Asynchronous Circuits Using Model-Based Simulation