Complete Symbolic Simulation of SystemC Models

Overview of attention for book

Cover of 'Complete Symbolic Simulation of SystemC Models'

Table of Contents

Attention for Chapter 4: Dynamic Partial Order Reduction in Stateful Model Checking

Altmetric Badge

Citations

dimensions_citation: 6 Dimensions

Summary Dimensions citations

So far, Dimensions has found 6 publications that cite this research output.

6

The most recent citing publications are shown below. View all 6 publications that cite this research output on Dimensions.

Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes, Better Early than Never

Monograph (January 2024)

Verbessertes virtuelles Prototyping, Mit RISC-V-Fallstudien

Monograph (January 2022)

Advanced virtual prototyping for cyber-physical systems using RISC-V: implementation, verification and challenges

Article in Science China Information Sciences (December 2021)

This page shows the most recent citations of this research output.

Click here to find out how to access more activity.