The following pages link to Graziano Pravadelli (Q2506270):
Displayed 7 items.
- Dynamic and formal verification of embedded systems: A comparative survey (Q2506271) (← links)
- Properties Incompleteness Evaluation by Functional Verification (Q4564139) (← links)
- Mangrove: An Inference-Based Dynamic Invariant Mining for GPU Architectures (Q5125907) (← links)
- Testbench Qualification of SystemC TLM Protocols through Mutation Analysis (Q5268210) (← links)
- UNIVERCM: The UNIversal VERsatile Computational Model for Heterogeneous System Integration (Q5274291) (← links)
- Automatic Abstraction of RTL IPs into Equivalent TLM Descriptions (Q5280477) (← links)
- Formal Methods for Hardware Verification (Q5899151) (← links)