Pinapa
From MaRDI portal
Cited in
(14)- A framework for verification of software with time and probabilities
- VINAS-P
- B4Free
- SystemC
- SATORI
- HANNIBAL
- SCOOT
- PASSAT
- RAVEN
- LusSy
- PROMETHEUS
- 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
