Pages that link to "Item:Q2506264"
From MaRDI portal
The following pages link to A framework for the functional verification of SystemC models (Q2506264):
Displaying 5 items.
- Model-based construction and verification of critical systems using composition and partial refinement (Q633296) (← links)
- A cycle-accurate transaction level SystemC model for a serial communication bus (Q733317) (← links)
- Full simulation coverage for SystemC transaction-level models of systems-on-a-chip (Q1041294) (← links)
- (Q3204035) (← links)
- (Q5477535) (← links)