SystemC: From the Ground Up

DOI10.1007/0-387-30864-4zbMath1134.68016OpenAlexW4254116315MaRDI QIDQ5703833

David C. Black, Jack. Donovan

Publication date: 11 November 2005

Full work available at URL: https://doi.org/10.1007/0-387-30864-4

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Theory of programming languages (68N15)

Related Items (4)

Verification of SpecC using predicate abstraction ⋮ Formalization of Data Flow Computing and a Coinductive Approach to Verifying Flowware Synthesis ⋮ Requirements for interfacing IP-components in re-configurable platforms ⋮ SystemC

This page was built for publication: SystemC: From the Ground Up