A Compositional Method With Failure-Preserving Abstraction for Asynchronous Design Verification

ion for Asynchronous Design Verification Hao Zheng, Member, IEEE, Jared Ahrens, Tian Xia, Member, IEEE This paper presents a compositional method with preserving abstraction for scalable asynchronous design verification. It combines efficient state space reductions and novel interface refinement, and can reduce the complexity of state space

• Type: Journal
• Year: 2008
• Where: TCAD
• Authors: Hao Zheng, Jared Ahrens, Tian Xia
• Keywords: Asynchronous Design Verification, State Space, TCAD 2008, Verification Hao Zheng