Compositional Reactive Semantics of SystemC and Verification with RuleBase-Reference-Cited by-同舟云学术

Compositional Reactive Semantics of SystemC and Verification with RuleBase

Published:2007 Issue: Volume: Page:227-243
ISSN:
Container-title:Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems
language:
Short-container-title:

Author:

Shyamasundar Rudrapatna K.,Doucet Frederic,Gupta Rajesh K.,Krüger Ingolf H.

Publisher

Springer Netherlands

Link

http://link.springer.com/content/pdf/10.1007/978-1-4020-6254-4_18.pdf

Reference9 articles.

1. G. Berry. The Foundations of Esterel. MIT Press, 2000.

2. G. Berry, S. Ramesh, and R.K. Shyamasundar. Communicating Reactive Processes. In Proc. Symp. on Principles of Programming Languages, 1993.

3. A. Habibi and S. Tahar. Design and Verification of SystemC Transaction-level Models. IEEE Trans. on Very Large Scale Integration (VLSI) Systems, 14(1):57-68, January 2006.

4. D. Kroening and N. Sharygina. Formal Verification of SystemC by Automatic Hardware/ Software Partitioning. In Proc. of Formal Methods and Models for Codesign, 2005.

5. K.L. Man. SystemCF L : Formalization of SystemC. In Proc. of 12th IEEE Mediterranean Elec-trotechnical Conference, 2004.

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A Framework for Verification of SystemC Designs Using SystemC Waiting State Automata;Integration of Reusable Systems;2014

2. Research on Process Algebraic Analysis Tools for Electronic System Design;Lecture Notes in Electrical Engineering;2009

3. How Different Are Esterel and SystemC;Embedded Systems Specification and Design Languages;2008

4. Reactivity in SystemC Transaction-Level Models;Hardware and Software: Verification and Testing