Cited in
(50)- Facilitating the design of fault tolerance in transaction level SystemC programs
- The fixed-point theory of strictly causal functions
- A framework for verification of software with time and probabilities
- Symbolic model checking of actor-oriented high-level SystemC models with interval diagrams
- Automated Technology for Verification and Analysis
- A Domain-Oriented, Model-Based Approach for Construction and Verification of Railway Control Systems
- scientific article; zbMATH DE number 1967729 (Why is no real title available?)
- Distributed resource-aware scheduling for multi-core architectures with SystemC
- Developments in concurrent Kleene algebra
- Compositional reactive semantics of SystemC and verification with RuleBase
- scientific article; zbMATH DE number 2111133 (Why is no real title available?)
- A cycle-accurate transaction level SystemC model for a serial communication bus
- Simulation of systems with dynamically varying model structure
- Formalization of Data Flow Computing and a Coinductive Approach to Verifying Flowware Synthesis
- Denotational semantics and its algebraic derivation for an event-driven system-level language
- Geometry of synthesis: a structured approach to VLSI design
- FALKO
- MOSILAB
- B4Free
- KRATOS
- SATORI
- CVT
- HANNIBAL
- Pinapa
- Kermeta
- SCOOT
- PASSAT
- Active-HDL
- RAVEN
- Fossy
- Handel-C
- ModelSim
- PTSC
- SAFL
- LusSy
- Metropolis
- PROMETHEUS
- FRIDGE
- scientific article; zbMATH DE number 2143950 (Why is no real title available?)
- scientific article; zbMATH DE number 2104435 (Why is no real title available?)
- 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
- CoreASM: an extensible ASM execution engine
- Boosting Lazy Abstraction for SystemC with Partial Order Reduction
- scientific article; zbMATH DE number 1941153 (Why is no real title available?)
- Generating denotational semantics from algebraic semantics for event-driven system-level language
- Robustness and usability in modern design flows
- Formalization of fixed-point arithmetic in HOL
- Compositional Semantics of System-Level Designs Written in SystemC
This page was built for software: SystemC
