Compositional Semantics of System-Level Designs Written in SystemC

DOI10.1007/978-3-540-75698-9_8zbMath1141.68485OpenAlexW4251179263MaRDI QIDQ3508521

Niloofar Razavi, Marjan Sirjani

Publication date: 1 July 2008

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-75698-9_8

zbMATH Keywords

formal verificationReoSystemChardware designconstraint automata

Mathematics Subject Classification ID

Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Symbolic execution of Reo circuits using constraint automata

Uses Software

• Reo
• SystemC

This page was built for publication: Compositional Semantics of System-Level Designs Written in SystemC