Statistics for A hierarchical approach to formal modeling and verification of asynchronous circuits