SystemC

swMATH7807MaRDI QIDQ19824FDOQ19824

Author name not available (Why is that?)

Described by source

• SystemC: From the Ground Up

Cited In (28)

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

This page was built for software: SystemC