FIN, Alessandro
FIN, Alessandro
DIPARTIMENTO DI BIOTECNOLOGIE (attivo dal 01/07/1998 al 30/04/2010)
A 1000X Speed Up for Properties Completeness Evaluation
2002-01-01 A., Castelnuovo; A., Fedeli; Fin, Alessandro; Fummi, Franco; Pravadelli, Graziano; U., Rossi; F., Sforza; F., Toto
A Fault Tolerant Incremental Design Methodology
2002-01-01 Cailotto, Stefano; Fin, Alessandro; Fummi, Franco
A Genetic Testing Framework for Digital Integrated Circuits
2002-01-01 X., Yu; Fin, Alessandro; Fummi, Franco; E. M., Rudnick
A Protected IP-Core Test Generation
2002-01-01 Fin, Alessandro; Fummi, Franco
A SystemC-based Framework for Properties Incompleteness Evaluation
2003-01-01 Fin, Alessandro; Fummi, Franco; Poncino, Massimo; Pravadelli, Graziano
A VHDL Error Simulator for Functional Test Generation
2000-01-01 Fin, Alessandro; Fummi, Franco
A WEB-CAD Methodology for IP-Core Analysis and Simulation
2000-01-01 Fin, Alessandro; Fummi, Franco
AMLETO: A Multi-language Environment for Functional Test Generation
2001-01-01 Fin, Alessandro; Fummi, Franco; Pravadelli, Graziano
An Application of Genetic Algorithms and BDDs to Functional Testing
2000-01-01 F., Ferrandi; Fin, Alessandro; Fummi, Franco; D., Sciuto
BIST Architectures Selection Based on Behavioral Testing
2000-01-01 G., Biasoli; F., Ferrandi; Fin, Alessandro; Fummi, Franco; D., Sciuto
Emulation-based Design Errors Identification
2002-01-01 A., Castelnuovo; Fin, Alessandro; Fummi, Franco; F., Sforza
Functional Test Generation for Behaviorally Sequential Models
2001-01-01 G., Ferrara; F., Ferrandi; Fin, Alessandro; Fummi, Franco; D., Sciuto
Genetic Algorithms: the Philosopher’s Stone or an Effective Solution for High-Level TPG?
2003-01-01 Fin, Alessandro; Fummi, Franco
Laerte++: an Object Oriented High-Level TPG for SystemC Designs
2003-01-01 Fin, Alessandro; Fummi, Franco
Mixing ATPG and Property Checking for Testing HW/SW Interfaces
2003-01-01 Fin, Alessandro; Fummi, Franco; Pravadelli, Graziano; U., Rossi; F., Toto
On SAT-applicability to High-Level Testing
2003-01-01 E., Coltro; Fin, Alessandro; Fummi, Franco
On the Reuse of VHDL Modules into SystemC Design
2001-01-01 N., Agliada; Fin, Alessandro; Fummi, Franco; Martignano, Maurizio; Pravadelli, Graziano
Soft-Cores Generation by Instruction Set Analysis
2001-01-01 Fin, Alessandro; Fummi, Franco; Perbellini, Giovanni
SystemC: A Homogenous Environment to Test Embedded Systems
2001-01-01 Fin, Alessandro; Fummi, Franco; Martignano, Maurizio; M., Signoretto
The Use of SystemC for Design Verification and Integration Test of IP-Cores
2001-01-01 Fin, Alessandro; Fummi, Franco; D., Signoretto
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A 1000X Speed Up for Properties Completeness Evaluation | 1-gen-2002 | A., Castelnuovo; A., Fedeli; Fin, Alessandro; Fummi, Franco; Pravadelli, Graziano; U., Rossi; F., Sforza; F., Toto | |
| A Fault Tolerant Incremental Design Methodology | 1-gen-2002 | Cailotto, Stefano; Fin, Alessandro; Fummi, Franco | |
| A Genetic Testing Framework for Digital Integrated Circuits | 1-gen-2002 | X., Yu; Fin, Alessandro; Fummi, Franco; E. M., Rudnick | |
| A Protected IP-Core Test Generation | 1-gen-2002 | Fin, Alessandro; Fummi, Franco | |
| A SystemC-based Framework for Properties Incompleteness Evaluation | 1-gen-2003 | Fin, Alessandro; Fummi, Franco; Poncino, Massimo; Pravadelli, Graziano | |
| A VHDL Error Simulator for Functional Test Generation | 1-gen-2000 | Fin, Alessandro; Fummi, Franco | |
| A WEB-CAD Methodology for IP-Core Analysis and Simulation | 1-gen-2000 | Fin, Alessandro; Fummi, Franco | |
| AMLETO: A Multi-language Environment for Functional Test Generation | 1-gen-2001 | Fin, Alessandro; Fummi, Franco; Pravadelli, Graziano | |
| An Application of Genetic Algorithms and BDDs to Functional Testing | 1-gen-2000 | F., Ferrandi; Fin, Alessandro; Fummi, Franco; D., Sciuto | |
| BIST Architectures Selection Based on Behavioral Testing | 1-gen-2000 | G., Biasoli; F., Ferrandi; Fin, Alessandro; Fummi, Franco; D., Sciuto | |
| Emulation-based Design Errors Identification | 1-gen-2002 | A., Castelnuovo; Fin, Alessandro; Fummi, Franco; F., Sforza | |
| Functional Test Generation for Behaviorally Sequential Models | 1-gen-2001 | G., Ferrara; F., Ferrandi; Fin, Alessandro; Fummi, Franco; D., Sciuto | |
| Genetic Algorithms: the Philosopher’s Stone or an Effective Solution for High-Level TPG? | 1-gen-2003 | Fin, Alessandro; Fummi, Franco | |
| Laerte++: an Object Oriented High-Level TPG for SystemC Designs | 1-gen-2003 | Fin, Alessandro; Fummi, Franco | |
| Mixing ATPG and Property Checking for Testing HW/SW Interfaces | 1-gen-2003 | Fin, Alessandro; Fummi, Franco; Pravadelli, Graziano; U., Rossi; F., Toto | |
| On SAT-applicability to High-Level Testing | 1-gen-2003 | E., Coltro; Fin, Alessandro; Fummi, Franco | |
| On the Reuse of VHDL Modules into SystemC Design | 1-gen-2001 | N., Agliada; Fin, Alessandro; Fummi, Franco; Martignano, Maurizio; Pravadelli, Graziano | |
| Soft-Cores Generation by Instruction Set Analysis | 1-gen-2001 | Fin, Alessandro; Fummi, Franco; Perbellini, Giovanni | |
| SystemC: A Homogenous Environment to Test Embedded Systems | 1-gen-2001 | Fin, Alessandro; Fummi, Franco; Martignano, Maurizio; M., Signoretto | |
| The Use of SystemC for Design Verification and Integration Test of IP-Cores | 1-gen-2001 | Fin, Alessandro; Fummi, Franco; D., Signoretto |