Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

102

ACSD
2008
IEEE

89views Hardware» more ACSD 2008»

Process algebraic verification of SystemC codes

15 years 9 months ago

Process algebraic verification of SystemC codes

Download www.win.tue.nl

Hossein Hojjat, Mohammad Reza Mousavi, Marjan Sirj

Real-time Traffic

ACSD 2008 | Hardware |

claim paper

Related Content

» Implementation of a SystemC based Environment

» A Schedulerless Semantics of TLM Models Written in SystemC Via Translation into LOTOS

» Handling communications in process algebraic architectural description languages Modeling ...

» Comparing two testbench methods for hierarchical functional verification of a bluetooth ba...

» Software Synthesis for System Level Design Using Process Execution Trees

» From ObjectProcess Diagrams to a Natural ObjectProcess Language

» Extracting and Verifying Cryptographic Models from C Protocol Code by Symbolic Execution

» Program Abstraction in a HigherOrder Logic Framework

» Design with racefree hardware semantics

Post Info
More Details (n/a)

Added	28 May 2010
Updated	28 May 2010
Type	Conference
Year	2008
Where	ACSD
Authors	Hossein Hojjat, Mohammad Reza Mousavi, Marjan Sirjani

Comments (0)