swMATH9955MaRDI QIDQ21934FDOQ21934
Author name not available (Why is that?)
Official website: http://greensocs.sourceforge.net/pinapa/
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
