| Abstract
|
<p>SystemC is an IEEE standard syste … <p>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.</p> processor specified in SystemC.</p>
|
| Author
|
H. Hojjat +
, Mohammad Reza Mousavi +
, M. Sirjani +
|
| Conference
|
8th International Conference on Application of Concurrence System Design, Xian, PEOPLES R CHINA, JUN 23-27, 2008
|
| DOI
|
http://dx.doi.org/10.1109/ACSD.2008.4574597 +
|
| Diva
|
http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:584683
|
| EndPage
|
67 +
|
| HostPublication
|
Application of Concurrency to System Design, 2008. ACSD 2008. 8th International Conference on +
|
| PublicationType
|
Conference Paper +
|
| Publisher
|
IEEE Press +
|
| Series
|
International Conference on Application of Concurrency to System Design. Proceedings +
|
| StartPage
|
62 +
|
| Title
|
Process algebraic verification of SystemC codes +
|
| Year
|
2008 +
|
| Has queryThis property is a special property in this wiki.
|
Publications:Process algebraic verification of SystemC codes +
, Publications:Process algebraic verification of SystemC codes +
, Publications:Process algebraic verification of SystemC codes +
, Publications:Process algebraic verification of SystemC codes +
, Publications:Process algebraic verification of SystemC codes +
, Publications:Process algebraic verification of SystemC codes +
, Publications:Process algebraic verification of SystemC codes +
, Publications:Process algebraic verification of SystemC codes +
, Publications:Process algebraic verification of SystemC codes +
, Publications:Process algebraic verification of SystemC codes +
|
| Categories |
Publication +
|
| Modification dateThis property is a special property in this wiki.
|
26 June 2014 03:43:28 +
|
