Author:
Seligman Erik,Schubert Tom,Kumar M V Achutha Kiran
Reference17 articles.
1. Prashant Aggarwal, Darrow Chu, Vijay Kadamby, and Vigyan Singhal, “End-to-End Formal Using Abstractions to Maximize Coverage,” Formal Methods in Computer Aided Design (FMCAD) 2011.
2. E. Clarke, O. Grumberg, S. Jha, Y. Lu, and H. Veith, “Counterexample-Guided Abstraction Refinement,” Computer Aided Verification Conference (CAV) 2000.
3. Lukas Charvat, Ales Smrcka, and Tomas Vojnar, “An Abstraction of Multi-Port Memories with Arbitrary Addressable Units,” Fourteenth International Conference on Computer Aided Systems Theory, 2013.
4. Abhishek Datta and Vigyan Singhal, “Formal Verification of a Public Domain DDR2 Controller Design,” VLSI Design 2008.
5. E. Allen Emerson and Thomas Wahl, “Efficient Reduction Techniques for Systems with Many Components,” 2005, http://www.cs.ox.ac.uk/people/thomas.wahl/Publications/ew05a.pdf.