SystemC: From the Ground Up

DOI10.1007/0-387-30864-4MaRDI QIDQ5703833zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• scientific article; zbMATH DE number 2111133
• SystemVerilog for Design
• Systemverilog for Verification
• scientific article; zbMATH DE number 2111805
• scientific article; zbMATH DE number 1227005

Cited in

(4)

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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5703833)