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 Remote Methodology for Embedded Systems Design and Validation
2003-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
Behavioral Test Generation for the Selection of BIST Logic
2002-01-01 G., Biasoli; 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
Functional Test Generation: Overview and Proposal of a Hybrid Genetic Approach
2002-01-01 Ferrandi, F.; Fin, Alessandro; Fummi, Franco; Sciuto, D.
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
LAERTE++: An Object Oriented High-Level TPG for SystemC Designs
2004-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
| 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 Remote Methodology for Embedded Systems Design and Validation | 1-gen-2003 | 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 | |
| Behavioral Test Generation for the Selection of BIST Logic | 1-gen-2002 | G., Biasoli; 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 | |
| Functional Test Generation: Overview and Proposal of a Hybrid Genetic Approach | 1-gen-2002 | Ferrandi, F.; Fin, Alessandro; Fummi, Franco; Sciuto, D. | |
| 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 | |
| LAERTE++: An Object Oriented High-Level TPG for SystemC Designs | 1-gen-2004 | 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 |