Modular Model Checking of Large Asynchronous Designs with Efficient Abstraction Refinement | IEEE Journals & Magazine | IEEE Xplore