hh.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Process algebraic verification of SystemC codes
University of Tehran and Institute for Studies in Theoretical Physics and Mathematics, Iran.
Eindhoven University of Technology, The Netherlands.ORCID iD: 0000-0002-4869-6794
University of Tehran and Institute for Studies in Theoretical Physics and Mathematics, Iran.
2008 (English)In: Application of Concurrency to System Design, 2008. ACSD 2008. 8th International Conference on / [ed] Billington, J, Duan, Z, Koutny, M, New York: IEEE Press, 2008, p. 62-67Conference paper, Published paper (Refereed)
Abstract [en]

SystemC is an IEEE standard system-level language used in hardware/software co-design and has been widely adopted in the industry. This paper describes a formal approach to verifying SystemC codes by providing a mapping to the process algebra mCRL2. The outstanding advantages of mCRL2 are the support for different data types and a powerful tool-set for model reduction and analysis. A tool is implemented to automatically perform the proposed mapping. This translation enabled us to exploit process-algebraic verification techniques to analyze a number of case-studies, including the formal analysis of a single-cycle and a pipelined MIPS processor specified in SystemC.

Place, publisher, year, edition, pages
New York: IEEE Press, 2008. p. 62-67
Series
International Conference on Application of Concurrency to System Design. Proceedings, ISSN 1550-4808
Keywords [en]
Algebra, Computer industry, Hardware, Logic, Mathematics, Physics, Reduced order systems, Sequential circuits, Software standards, System-level design
National Category
Computer and Information Sciences
Identifiers
URN: urn:nbn:se:hh:diva-20504DOI: 10.1109/ACSD.2008.4574597ISI: 000260161500011Scopus ID: 2-s2.0-51549092942ISBN: 978-1-4244-1838-1 ISBN: 978-1-4244-1839-8 OAI: oai:DiVA.org:hh-20504DiVA, id: diva2:584683
Conference
8th International Conference on Application of Concurrence System Design, Xian, PEOPLES R CHINA, JUN 23-27, 2008
Available from: 2013-01-09 Created: 2013-01-08 Last updated: 2018-01-11Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records

Mousavi, Mohammad Reza

Search in DiVA

By author/editor
Mousavi, Mohammad Reza
Computer and Information Sciences

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 89 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf