Model-driven validation of systemC designs

Proceedings - Design Automation Conference

Volumn , Issue , 2007, Pages 29-34

  Patel, Hiren D ^a   Shukla, Sandeep K ^a  

^a VIRGINIA POLYTECHNIC INSTITUTE AND STATE UNIVERSITY   (United States)

Author keywords

Abstract state machines; Model driven; Semantic model and simulation; SpecExplorer; SystemC; Test case generation; Validation

Indexed keywords

ABSTRACT STATE MACHINES; IMPLEMENTATION PROGRAMS; SPECEXPLORER; TEST CASE GENERATION;

COMPUTER SIMULATION; FUNCTION EVALUATION; MATHEMATICAL MODELS;

SYSTEMS ANALYSIS;

EID: 34547333563     PISSN: 0738100X     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/DAC.2007.375047     Document Type: Conference Paper

References (17)

1. M. Barnett, W. Grieskamp, L. Nachmanson, W. Schulte, N. Tillmann, and M. Veanes. Towards a tool environment for model-based testing with AsmL. Petrenko and Ulrich, editors, Formal Approaches to Software Testing, FATES, 2931:264-280, 2003.
2. M. Barnett, K. Leino, and W. Schulte. The Spec# programming system: An overview. CASSIS 2004: International Workshop on Construction and Analysis of Safe, Secure and Interoperable Smart devices, 2004.
3. M. Barnett and W. Schulte. The ABCs of specification: AsmL, behavior, and components. Informatica, 25(4):517-526, 2001.
4. E. Börger and R. Stärk. Abstract State Machines: A Method for High-Level System Design and Analysis. Springer, 2003.
5. F. Bruschi, F. Ferrandi, and D. Sciuto. A Framework for the Functional Verification of SystemC Models. International Journal of Parallel Programming, 2005.
6. C. Campbell, W. Grieskamp, L. Nachmanson, W. Schulte, N. Tillman, and M. Veanes. Model-Based Testing of Object-Oriented Reactive Systems with Spec Explorer. Technical Report MSR-TR-2005-59, Microsoft Research, 2005.
7. FERMAT. Formal Engineering Research with Models, Abstractions and Transformations, http://fermat.ece.vt.edu.
8. A. Gawanmeh, A. Habibi, and S. Tahar. Enabling SystemC Verification using Abstract State Machines. Technical report, Department of Electrical and Computer Engineering, Concordia University, 2004.
9. Y. Gurevich. Evolving algebras 1993: Lipari Guide, pages 9-36. Oxford University Press, 1995. In Specification and Validation Methods.
10. Y. Gurevich, B. Rossman, and W. Schulte. Semantic essence of AsmL. Theoretical Computer Science, 343(3):370-412, 2005.
11. A. Habibi, H. Moinudeen, and S. Tahar. Generating Finite State Machines from SystemC. In Proceedings of Design, Automation and Test in Europe, pages 76-81, 2006.
12. A. Habibi and S. Tahar. Design and Verification of SystemC Transaction-Level Models. In IEEE Transactions on Very Large Scale Integration Systems, volume 14, pages 57-68, 2006.
13. D. Kroening and N. Sharygina. Formal Verification of SystemC by Automatic Hardware/Software Partitioning. In Formal Methods and Models for Codesign, 2005.
14. Microsoft Research. Spec#. Website:http://research.microsoft.com/ specsharp/.
15. W. Mueller, J. Ruf, D. Hoffmann, J. Gerlach, T. Kropf, and W. Rosenstiehl. The Simulation Semantics of SystemC. In Proceedings of Design, Automation and Test in Europe, pages 64-70, 2001.
16. OSCI. SystemC and SystemC Verification. Website: http://www.systemc.org.
17. SpecExplorer. http://research.microsoft.com/specexplorer/.