An optimized CLP-based technique for generating propagation sequences. - Franco Fummi; Valerio Guarnieri; Cristina Marconcini; Graziano Pravadelli (EWDTS, 2008)

Automatic synthesis of OSCI TLM-2.0 models into RTL bus-based IPs. - Nicola Bombieri; Franco Fummi; Valerio Guarnieri (HLDVT, 2010)

Model checking on TLM-2.0 IPs through automatic TLM-to-RTL synthesis. - Nicola Bombieri; Franco Fummi; Valerio Guarnieri (VLSI-SoC, 2010)

Accelerating RTL Fault Simulation through RTL-to-TLM Abstraction. - Nicola Bombieri; Franco Fummi; Valerio Guarnieri (ETS, 2011)

Efficient implementation and abstraction of systemc data types for fast simulation. - Nicola Bombieri; Franco Fummi; Valerio Guarnieri; Francesco Stefanni; Sara Vinco (FDL, 2011)

Mutation analysis for SystemC designs at TLM. - Valerio Guarnieri; Nicola Bombieri; Graziano Pravadelli; Franco Fummi; Hanno Hantson; Jaan Raik; Maksim Jenihhin; Raimund Ubar (LATW, 2011)

Reduced-Complexity Transition-Fault Test Generation for Non-scan Circuits through High-Level Mutant Injection. - Valerio Guarnieri; Franco Fummi; Krishnendu Chakrabarty (Asian Test Symposium, 2012)

From RTL IP to functional system-level models with extra-functional properties. - Daniel Lorenz 002; Kim Grüttner; Nicola Bombieri; Valerio Guarnieri; Sara Bocchio (CODES+ISSS, 2012)

FAST-GP: An RTL functional verification framework based on fault simulation on GP-GPUs. - Nicola Bombieri; Franco Fummi; Valerio Guarnieri (DATE, 2012)

Energy aware TLM platform simulation via RTL abstraction. - Nicola Bombieri; Franco Fummi; Valerio Guarnieri; Andrea Acquaviva (HLDVT, 2012)

Redesign and Verification of RTL IPs through RTL-to-TLM Abstraction and TLM Synthesis. - Nicola Bombieri; Franco Fummi; Valerio Guarnieri; Graziano Pravadelli; Sara Vinco (MTV, 2012)

HDTLib: an efficient implementation of SystemC data types for fast simulation at different abstraction levels. - Nicola Bombieri; Franco Fummi; Valerio Guarnieri; Francesco Stefanni; Sara Vinco (Des. Autom. Embed. Syst., 2012)

FAST: An RTL Fault Simulation Framework based on RTL-to-TLM Abstraction. - Nicola Bombieri; Franco Fummi; Valerio Guarnieri (J. Electron. Test., 2012)

On the Reuse of TLM Mutation Analysis at RTL. - Valerio Guarnieri; Giuseppe Di Guglielmo; Nicola Bombieri; Graziano Pravadelli; Franco Fummi; Hanno Hantson; Jaan Raik; Maksim Jenihhin; Raimund Ubar (J. Electron. Test., 2012)

A cross-level verification methodology for digital IPs augmented with embedded timing monitors. - Valerio Guarnieri; Massimo Petricca; Alessandro Sassone; Sara Vinco; Nicola Bombieri; Franco Fummi; Enrico Macii; Massimo Poncino (DATE, 2014)

On the reuse of RTL assertions in SystemC TLM verification. - Nicola Bombieri; Franco Fummi; Valerio Guarnieri; Graziano Pravadelli; Francesco Stefanni; Tara Ghasempouri; Michele Lora; Giovanni Auditore; Mirella Negro Marcigaglia (LATW, 2014)

Testbench Qualification of SystemC TLM Protocols through Mutation Analysis. - Nicola Bombieri; Franco Fummi; Valerio Guarnieri; Graziano Pravadelli (IEEE Trans. Computers, 2014)

Reusing RTL Assertion Checkers for Verification of SystemC TLM Models. - Nicola Bombieri; Franco Fummi; Valerio Guarnieri; Graziano Pravadelli; Francesco Stefanni; Tara Ghasempouri; Michele Lora; Giovanni Auditore; Mirella Negro Marcigaglia (J. Electron. Test., 2015)

A Single-Chip CMOS Pulse Oximeter with On-Chip Lock-In Detection. - Diwei He; Stephen P. Morgan; Dimitrios Trachanis; Jan van Hese; Dimitris Drogoudis; Franco Fummi; Francesco Stefanni; Valerio Guarnieri; Barrie Hayes-Gill (Sensors, 2015)

Code Manipulation for Virtual Platform Integration. - Sara Vinco; Valerio Guarnieri; Franco Fummi (IEEE Trans. Computers, 2016)