Jared Ahrens

Learn More
dation under grant No. 0546492. I am thankful for this generous funding. I extend my most sincere thanks to Dr. Zheng for introducing me to such a fascinating topic. He has provided wonderful support, guidance, and funding throughout this thesis. I would also like to thank Dr. Katkoori and Dr. Rundus for being on my committee and providing valuable(More)
— This paper presents a compositional method with failure-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 dramatically while decreasing introduction of false failures. This allows much larger designs to be verified(More)
  • 1