FIN, Alessandro

FIN, Alessandro  

DIPARTIMENTO DI BIOTECNOLOGIE (attivo dal 01/07/1998 al 30/04/2010)  

Mostra records
Risultati 1 - 20 di 20 (tempo di esecuzione: 0.04 secondi).
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