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
2004-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
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-2004 | 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 |