Jared Ahrens

Learn 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