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

Hao Zheng Jared Ahrens Tian Xia A Compositional Method With Failure-Preserving Abstraction for Asynchronous Design Verification. 1343-1347 2008 27 IEEE Trans. on CAD of Integrated Circuits and Systems 7 http://dx.doi.org/10.1109/TCAD.2008.923104 db/journals/tcad/tcad27.html#ZhengAX08