Modeling Algorithms in SystemC and ACL2
We describe the formal language MASC, based on a subset of SystemC and intended for modeling algorithms to be implemented in hardware. By means of a special-purpose parser, an algorithm coded in SystemC is converted to a MASC model for the purpose of documentation, which in turn is translated to A...
Main Authors: | John W. O'Leary, David M. Russinoff |
---|---|
Format: | Article |
Language: | English |
Published: |
Open Publishing Association
2014-06-01
|
Series: | Electronic Proceedings in Theoretical Computer Science |
Online Access: | http://arxiv.org/pdf/1406.1565v1 |
Similar Items
-
Analyzing SystemC Designs: SystemC Analysis Approaches for Varying Applications
by: Jannis Stoppe, et al.
Published: (2015-05-01) -
Race analysis for SystemC using model checking.
by: Blanc, N
Published: (2008) -
Scoot: A Tool for the Analysis of SystemC Models
by: Blanc, N, et al.
Published: (2008) -
Race analysis for systemC using model checking
by: Blanc, N, et al.
Published: (2010) -
Compressed memory management modelling using SystemC
by: Md. Yusof, Zulkifli, et al.
Published: (2008)