Sfoglia per Autore
An Optimized CLP-based Technique for Generating Propagation Sequences
2008-01-01 Fummi, Franco; Guarnieri, Valerio; Marconcini, Cristina; Pravadelli, Graziano
Automatic Synthesis of OSCI TLM-2.0 Models into RTL Bus-based IPs
2010-01-01 Bombieri, Nicola; Fummi, Franco; Guarnieri, Valerio
Model Checking on TLM-2.0 IPs through automatic TLM-to-RTL synthesis
2010-01-01 Bombieri, Nicola; Fummi, Franco; Guarnieri, Valerio
Mutation Analysis for SystemC Designs at TLM
2011-01-01 Guarnieri, Valerio; Bombieri, Nicola; Pravadelli, Graziano; Fummi, Franco; H., Hantson; J., Raik; M., Jenihhin; R., Ubar
Accelerating RTL Fault Simulation through RTL-to-TLM Abstraction
2011-01-01 Bombieri, Nicola; Fummi, Franco; Guarnieri, Valerio
Efficient Implementation and Abstraction of SystemC Data Types for Fast Simulation
2011-01-01 Bombieri, Nicola; Fummi, Franco; Guarnieri, Valerio; Stefanni, Francesco; Vinco, Sara
On the Reuse of TLM Mutation Analysis at RTL
2012-01-01 Guarnieri, Valerio; DI GUGLIELMO, Giuseppe; Bombieri, Nicola; Pravadelli, Graziano; Fummi, Franco; Hantson, H.; Raik, J.; Jenihhin, M.; Ubar, R.
From RTL IP to functional system-level models with extra-functional properties
2012-01-01 D., Lorenz; K., Grüttner; Bombieri, Nicola; Guarnieri, Valerio; S., Bocchio
Energy Aware TLM Platform Simulation via RTL Abstraction
2012-01-01 Bombieri, Nicola; Fummi, Franco; Guarnieri, Valerio; A., Acquaviva
Reduced-Complexity Transition-Fault Test Generation for Non-Scan Circuits through High-level Mutant Injection
2012-01-01 Guarnieri, Valerio; Fummi, Franco; K., Chakrabarty
FAST: An RTL Fault Simulation Framework based on RTL-to-TLM Abstraction
2012-01-01 Bombieri, Nicola; Fummi, Franco; Guarnieri, Valerio
HDTLib: an efficient implementation of SystemC data types for fast simulation at different abstraction levels
2012-01-01 Bombieri, Nicola; Fummi, Franco; Guarnieri, Valerio; Stefanni, Francesco; Vinco, Sara
Redesign and Verification of RTL IPs through RTL-to-TLM Abstraction and TLM Synthesis
2012-01-01 Bombieri, Nicola; Fummi, Franco; Guarnieri, Valerio; Pravadelli, Graziano; Vinco, Sara
FAST-GP: An RTL Functional Verification Framework based on Fault Simulation on GP-GPUs
2012-01-01 Bombieri, Nicola; Fummi, Franco; Guarnieri, Valerio
Automatic HDL Conversion and Abstraction Methodologies
2013-01-01 Fummi, Franco; Guarnieri, Valerio; Pravadelli, Graziano; Stefanni, Francesco; Vendraminetto, Walter
Design and Verification Techniques for TLM-based Design Flows
2013-01-01 Guarnieri, Valerio
A Cross-level Verification Methodology for Digital IPs Augmented with Embedded Timing Monitors
2014-01-01 Guarnieri, Valerio; M., Petricca; A., Sassone; S., Vinco; Bombieri, Nicola; Fummi, Franco; E., Macii; M., Poncino
Testbench qualification of SystemC TLM protocols through Mutation Analysis
2014-01-01 Bombieri, Nicola; Fummi, Franco; Guarnieri, Valerio; Pravadelli, Graziano
Design and simulation of an integrated optical CMOS heart rate sensor
2014-01-01 D., He; C., Liu; D., Trachanis; J. V., Hese; D., Drogoudis; Fummi, Franco; Stefanni, Francesco; Guarnieri, Valerio; S. P., Morgan; B. R., Hayes Gill
On the Reuse of RTL assertions in Systemc TLM Verification
2014-01-01 Bombieri, Nicola; Fummi, Franco; Guarnieri, Valerio; Pravadelli, Graziano; Stefanni, Francesco; Ghasempouri, Tara; Lora, Michele; G., Auditore; M., Negro Marcigaglia
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
An Optimized CLP-based Technique for Generating Propagation Sequences | 1-gen-2008 | Fummi, Franco; Guarnieri, Valerio; Marconcini, Cristina; Pravadelli, Graziano | |
Automatic Synthesis of OSCI TLM-2.0 Models into RTL Bus-based IPs | 1-gen-2010 | Bombieri, Nicola; Fummi, Franco; Guarnieri, Valerio | |
Model Checking on TLM-2.0 IPs through automatic TLM-to-RTL synthesis | 1-gen-2010 | Bombieri, Nicola; Fummi, Franco; Guarnieri, Valerio | |
Mutation Analysis for SystemC Designs at TLM | 1-gen-2011 | Guarnieri, Valerio; Bombieri, Nicola; Pravadelli, Graziano; Fummi, Franco; H., Hantson; J., Raik; M., Jenihhin; R., Ubar | |
Accelerating RTL Fault Simulation through RTL-to-TLM Abstraction | 1-gen-2011 | Bombieri, Nicola; Fummi, Franco; Guarnieri, Valerio | |
Efficient Implementation and Abstraction of SystemC Data Types for Fast Simulation | 1-gen-2011 | Bombieri, Nicola; Fummi, Franco; Guarnieri, Valerio; Stefanni, Francesco; Vinco, Sara | |
On the Reuse of TLM Mutation Analysis at RTL | 1-gen-2012 | Guarnieri, Valerio; DI GUGLIELMO, Giuseppe; Bombieri, Nicola; Pravadelli, Graziano; Fummi, Franco; Hantson, H.; Raik, J.; Jenihhin, M.; Ubar, R. | |
From RTL IP to functional system-level models with extra-functional properties | 1-gen-2012 | D., Lorenz; K., Grüttner; Bombieri, Nicola; Guarnieri, Valerio; S., Bocchio | |
Energy Aware TLM Platform Simulation via RTL Abstraction | 1-gen-2012 | Bombieri, Nicola; Fummi, Franco; Guarnieri, Valerio; A., Acquaviva | |
Reduced-Complexity Transition-Fault Test Generation for Non-Scan Circuits through High-level Mutant Injection | 1-gen-2012 | Guarnieri, Valerio; Fummi, Franco; K., Chakrabarty | |
FAST: An RTL Fault Simulation Framework based on RTL-to-TLM Abstraction | 1-gen-2012 | Bombieri, Nicola; Fummi, Franco; Guarnieri, Valerio | |
HDTLib: an efficient implementation of SystemC data types for fast simulation at different abstraction levels | 1-gen-2012 | Bombieri, Nicola; Fummi, Franco; Guarnieri, Valerio; Stefanni, Francesco; Vinco, Sara | |
Redesign and Verification of RTL IPs through RTL-to-TLM Abstraction and TLM Synthesis | 1-gen-2012 | Bombieri, Nicola; Fummi, Franco; Guarnieri, Valerio; Pravadelli, Graziano; Vinco, Sara | |
FAST-GP: An RTL Functional Verification Framework based on Fault Simulation on GP-GPUs | 1-gen-2012 | Bombieri, Nicola; Fummi, Franco; Guarnieri, Valerio | |
Automatic HDL Conversion and Abstraction Methodologies | 1-gen-2013 | Fummi, Franco; Guarnieri, Valerio; Pravadelli, Graziano; Stefanni, Francesco; Vendraminetto, Walter | |
Design and Verification Techniques for TLM-based Design Flows | 1-gen-2013 | Guarnieri, Valerio | |
A Cross-level Verification Methodology for Digital IPs Augmented with Embedded Timing Monitors | 1-gen-2014 | Guarnieri, Valerio; M., Petricca; A., Sassone; S., Vinco; Bombieri, Nicola; Fummi, Franco; E., Macii; M., Poncino | |
Testbench qualification of SystemC TLM protocols through Mutation Analysis | 1-gen-2014 | Bombieri, Nicola; Fummi, Franco; Guarnieri, Valerio; Pravadelli, Graziano | |
Design and simulation of an integrated optical CMOS heart rate sensor | 1-gen-2014 | D., He; C., Liu; D., Trachanis; J. V., Hese; D., Drogoudis; Fummi, Franco; Stefanni, Francesco; Guarnieri, Valerio; S. P., Morgan; B. R., Hayes Gill | |
On the Reuse of RTL assertions in Systemc TLM Verification | 1-gen-2014 | Bombieri, Nicola; Fummi, Franco; Guarnieri, Valerio; Pravadelli, Graziano; Stefanni, Francesco; Ghasempouri, Tara; Lora, Michele; G., Auditore; M., Negro Marcigaglia |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile