SystemC

swMATH7807MaRDI QIDQ19824

No author found.

Described by source

• SystemC: From the Ground Up

Related Items (28)

Unnamed Item ⋮ Unnamed Item ⋮ Distributed Resource-Aware Scheduling for Multi-core Architectures with SystemC ⋮ Developments in concurrent Kleene algebra ⋮ Unnamed Item ⋮ Geometry of synthesis ⋮ Unnamed Item ⋮ Facilitating the design of fault tolerance in transaction level SystemC programs ⋮ Incremental bounded model checking for embedded software ⋮ Formalization of Data Flow Computing and a Coinductive Approach to Verifying Flowware Synthesis ⋮ Compositional Semantics of System-Level Designs Written in SystemC ⋮ Denotational semantics and its algebraic derivation for an event-driven system-level language ⋮ A Domain-Oriented, Model-Based Approach for Construction and Verification of Railway Control Systems ⋮ Boosting Lazy Abstraction for SystemC with Partial Order Reduction ⋮ Unnamed Item ⋮ Compositional Reactive Semantics of SystemC and Verification with RuleBase ⋮ The fixed-point theory of strictly causal functions ⋮ Automated Technology for Verification and Analysis ⋮ A formal approach for the construction and verification of railway control systems ⋮ Unnamed Item ⋮ A Framework for Verification of Software with Time and Probabilities ⋮ Unnamed Item ⋮ Generating Denotational Semantics from Algebraic Semantics for Event-Driven System-Level Language ⋮ A cycle-accurate transaction level SystemC model for a serial communication bus ⋮ Simulation of systems with dynamically varying model structure ⋮ Full simulation coverage for SystemC transaction-level models of systems-on-a-chip ⋮ Unnamed Item ⋮ Formalization of fixed-point arithmetic in HOL

This page was built for software: SystemC