Pinapa

swMATH9955MaRDI QIDQ21934FDOQ21934

Author name not available (Why is that?)

Cited In (4)

• A framework for verification of software with time and probabilities
• Full simulation coverage for SystemC transaction-level models of systems-on-a-chip
• Boosting Lazy Abstraction for SystemC with Partial Order Reduction
• Robustness and usability in modern design flows

This page was built for software: Pinapa