On the transformation of systemC to asmL using abstract interpretation

Electronic Notes in Theoretical Computer Science

Volumn 131, Issue , 2005, Pages 39-49

  Habibi, Ali ^a   Tahar, Sofiene ^a  

^a Dept of Electrical and Computer Engineering   (Canada)

Author keywords

Abstract Interpretation; Formal Verification; SystemC

Indexed keywords

ABSTRACTING; COMPUTER MONITORS; COMPUTER SIMULATION; EMBEDDED SYSTEMS; MATHEMATICAL TRANSFORMATIONS; OBJECT ORIENTED PROGRAMMING; PROGRAM INTERPRETERS; THEOREM PROVING;

ABSTRACT INTERPRETATION; ABSTRACT STATE MACHINES (ASM); FORMAL VERIFICATION; SYSTEMC;

COMPUTER PROGRAMMING LANGUAGES;

EID: 19044390344     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2005.01.021     Document Type: Conference Paper

References (13)

1. P. Cousot and R. Cousot. Systematic design of program analysis frameworks. In Symposium on Principles of Programming Languages, pages 269-282, San Antonio, TX, USA, 1979
2. P. Cousot and R. Cousot. Systematic design of program transformation frameworks by abstract interpretation. In Symposium on Principles of Programming Languages, pages 178-190, Portland, Oregon, January 2002
3. Y. Gurevich Evolving Algebras 1993: Lipari Guide Specification and Validation Methods 1995 Oxford University Press 9 36
4. A. Habibi and S. Tahar. Design for verification of SystemC transaction level models. In Design Automation and Test in Europe, Munich, Germany
5. A. Habibi and S. Tahar. AsmL fixpoint semantics. Technical report, Department of ECE, Concordia University, December 2004
6. A. Habibi and S. Tahar. SystemC fixpoint semantics. Technical report, Department of ECE, Concordia University, December 2004
7. F. Logozzo. Analyse Statique Modulaire de Langages à Objets. PhD thesis, Ecole Polytechnique, Paris, France, June 2004
8. Microsoft Corp. AsmL for Microsoft. NET framework, 2004
9. W. Müller, J. Ruf, and W. Rosenstiel SystemC Methodologies and Applications 2003 Kluwe Academic Pub.
10. P.D. Mosses Denotational semantics, volume B of Handbook of Theoretical Computer Science 1990 Elsevier Science B.V. 575 631 chapter 11
11. Open SystemC Initiative Website http://www.systemc.org 2004
12. K. Oumalou, A. Habibi, and S. Tahar. Design for verification of a PCI bus in SystemC. In Symposium on System-on-Chip, Finland, November 2004
13. A. Salem. Formal semantics of synchronous SystemC. In Design, Automation and Test in Europe Conference, pages 376-381, Munich, Germany, 2003