Alessandro Fin

According to our database, Alessandro Fin authored at least 21 papers between 2000 and 2003.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2003

A Remote Methodology for Embedded Systems Design and Validation.

Alessandro Fin, Franco Fummi

Des. Autom. Embed. Syst., 2003

A SystemC-based Framework for Properties Incompleteness Evaluation.

Alessandro Fin, Franco Fummi, Massimo Poncino, Graziano Pravadelli

Proceedings of the Fourth International Workshop on Microprocessor Test and Verification, 2003

Genetic algorithms: the philosopher's stone or an effective solution for high-level TPG?

Alessandro Fin, Franco Fummi

Proceedings of the Eighth IEEE International High-Level Design Validation and Test Workshop 2003, 2003

Mixing ATPG and property checking for testing HW/SW interfaces.

Alessandro Fin, Franco Fummi, Graziano Pravadelli

Proceedings of the 13th ACM Great Lakes Symposium on VLSI 2003, 2003

LAERTE++: an Object Oriented High-level TPG for SystemC Designs.

Alessandro Fin, Franco Fummi

Proceedings of the Forum on specification and Design Languages, 2003

2002

A functional testing framework for embedded systems.

Alessandro Fin

PhD thesis, 2002

Behavioral test generation for the selection of BIST logic.

Giuseppe Biasoli, Fabrizio Ferrandi, Alessandro Fin, Franco Fummi, Donatella Sciuto

J. Syst. Archit., 2002

A fault tolerant incremental design methodology.

S. Cailotto, Alessandro Fin, Franco Fummi

Proceedings of the 2002 International Symposium on Circuits and Systems, 2002

A Genetic Testing Framework for Digital Integrated Circuits.

Xiaoming Yu, Alessandro Fin, Franco Fummi, Elizabeth M. Rudnick

Proceedings of the 14th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2002), 2002

A 1000X speed up for properties completeness evaluation.

A. Castelnuovo, Andrea Fedeli, Alessandro Fin, Franco Fummi, Graziano Pravadelli, Umberto Rossi, F. Sforza, Franco Toto

Proceedings of the Seventh IEEE International High-Level Design Validation and Test Workshop 2002, 2002

Protected IP-core test generation.

Alessandro Fin, Franco Fummi

Proceedings of the 12th ACM Great Lakes Symposium on VLSI 2002, 2002

Functional Test Generation For Digital Integrated Circuits Using A Genetic Algorithm.

Xiaoming Yu, Alessandro Fin, Franco Fummi, Elizabeth M. Rudnick

Proceedings of the GECCO 2002: Proceedings of the Genetic and Evolutionary Computation Conference, 2002

Emulation-Based Design Errors Identification.

A. Castelnuovo, Alessandro Fin, Franco Fummi, F. Sforza

Proceedings of the 17th IEEE International Symposium on Defect and Fault-Tolerance in VLSI Systems (DFT 2002), 2002

2001

AMLETO: a multi-language environment for functional test generation.

Alessandro Fin, Franco Fummi, Graziano Pravadelli

Proceedings of the Proceedings IEEE International Test Conference 2001, Baltimore, MD, USA, 30 October, 2001

Soft-cores generation by instruction set analysis.

Alessandro Fin, Franco Fummi, Giovanni Perbellini

Proceedings of the 14th International Symposium on Systems Synthesis, 2001

Functional test generation for behaviorally sequential models.

Fabrizio Ferrandi, G. Ferrara, Donatella Sciuto, Alessandro Fin, Franco Fummi

Proceedings of the Conference on Design, Automation and Test in Europe, 2001

SystemC: a homogenous environment to test embedded systems.

Alessandro Fin, Franco Fummi, Maurizio Martignano, Mirko Signoretto

Proceedings of the Ninth International Symposium on Hardware/Software Codesign, 2001

2000

An Application of Genetic Algorithms and BDDs to Functional Testing.

Fabrizio Ferrandi, Donatella Sciuto, Alessandro Fin, Franco Fummi

Proceedings of the IEEE International Conference On Computer Design: VLSI In Computers & Processors, 2000

BIST Architectures Selection Based on Behavioral Testing.

Giuseppe Biasoli, Fabrizio Ferrandi, Donatella Sciuto, Alessandro Fin, Franco Fummi

Proceedings of the 15th IEEE International Symposium on Defect and Fault-Tolerance in VLSI Systems (DFT 2000), 2000

A VHDL Error Simulator for Functional Test Generation.

Alessandro Fin, Franco Fummi

Proceedings of the 2000 Design, 2000

A Web-CAD methodology for IP-core analysis and simulation.

Alessandro Fin, Franco Fummi

Proceedings of the 37th Conference on Design Automation, 2000