swMATH7807MaRDI QIDQ19824FDOQ19824
Author name not available (Why is that?)
Official website: http://rd.springer.com/book/10.1007%2F0-387-30864-4
Cited In (50)
- Facilitating the design of fault tolerance in transaction level SystemC programs
- 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
- Title not available (Why is that?)
- A Domain-Oriented, Model-Based Approach for Construction and Verification of Railway Control Systems
- Distributed resource-aware scheduling for multi-core architectures with SystemC
- Compositional reactive semantics of SystemC and verification with RuleBase
- Developments in concurrent Kleene algebra
- Title not available (Why is that?)
- A cycle-accurate transaction level SystemC model for a serial communication bus
- 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
- Geometry of synthesis: a structured approach to VLSI design
- Title not available (Why is that?)
- Title not available (Why is that?)
- FALKO
- MOSILAB
- B4Free
- KRATOS
- SATORI
- CVT
- HANNIBAL
- Pinapa
- Kermeta
- SCOOT
- PASSAT
- Active-HDL
- RAVEN
- Fossy
- Handel-C
- ModelSim
- PTSC
- SAFL
- LusSy
- Metropolis
- PROMETHEUS
- FRIDGE
- 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
- CoreASM: an extensible ASM execution engine
- Incremental bounded model checking for embedded software
- Boosting Lazy Abstraction for SystemC with Partial Order Reduction
- Title not available (Why is that?)
- 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
- The fixed-point theory of strictly causal functions
This page was built for software: SystemC
