The following pages link to Franco Fummi (Q2985281):
Displayed 12 items.
- Code Manipulation for Virtual Platform Integration (Q2985282) (← links)
- A complete testing strategy based on interacting and hierarchical FSMs (Q3840897) (← links)
- FsmTest: Functional test generation for sequential circuits (Q4332021) (← links)
- Properties Incompleteness Evaluation by Functional Verification (Q4564139) (← links)
- A hierarchical test generation approach for large controllers (Q4571358) (← links)
- Network Synthesis for Distributed Embedded Systems (Q4683267) (← links)
- Automatic Generation of Analog/Mixed Signal Virtual Platforms for Smart Systems (Q5126044) (← links)
- Translation, Abstraction and Integration for Effective Smart System Design (Q5211710) (← 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)