What lies between Design Intent Coverage and Model Checking?

  title={What lies between Design Intent Coverage and Model Checking?},
  author={Sayantan Das and Prasenjit Basu and Pallab Dasgupta and P. P. Chakrabarti},
  journal={Proceedings of the Design Automation & Test in Europe Conference},
Practitioners of formal property verification often work around the capacity limitations of formal verification tools by breaking down properties into smaller properties that can be checked on the sub-modules of the parent module. To support this methodology, we have developed a formal methodology for verifying whether the decomposition is indeed sound and complete, that is, whether verifying the smaller properties on the submodules actually guarantees the original property on the parent module… CONTINUE READING
3 Citations
2 References
Similar Papers


Publications citing this paper.
Showing 1-3 of 3 extracted citations


Publications referenced by this paper.
Showing 1-2 of 2 references

ARM AMBA Specification Rev 2 . 0

  • E. M. Clarke, O. Grumberg, D. A. Peled
  • 2000

Similar Papers

Loading similar papers…