Stari: A case study in compositional and hierarchical timing verification (1997)

by S Tasiran, R K Brayton
Venue:in Proc. Int. Conf. Computer-Aided Verification