A Web-CAD methodology for IP-core analysis and simulation. - Alessandro Fin; Franco Fummi (DAC, 2000)

A VHDL Error Simulator for Functional Test Generation. - Alessandro Fin; Franco Fummi (DATE, 2000)

BIST Architectures Selection Based on Behavioral Testing. - Giuseppe Biasoli; Fabrizio Ferrandi; Donatella Sciuto; Alessandro Fin; Franco Fummi (DFT, 2000)

An Application of Genetic Algorithms and BDDs to Functional Testing. - Fabrizio Ferrandi; Donatella Sciuto; Alessandro Fin; Franco Fummi (ICCD, 2000)

SystemC: a homogenous environment to test embedded systems. - Alessandro Fin; Franco Fummi; Maurizio Martignano; Mirko Signoretto (CODES, 2001)

Functional test generation for behaviorally sequential models. - Fabrizio Ferrandi; G. Ferrara; Donatella Sciuto; Alessandro Fin; Franco Fummi (DATE, 2001)

Soft-cores generation by instruction set analysis. - Alessandro Fin; Franco Fummi; Giovanni Perbellini (ISSS, 2001)

AMLETO: a multi-language environment for functional test generation. - Alessandro Fin; Franco Fummi; Graziano Pravadelli (ITC, 2001)

Emulation-Based Design Errors Identification. - A. Castelnuovo; Alessandro Fin; Franco Fummi; F. Sforza (DFT, 2002)

Functional Test Generation For Digital Integrated Circuits Using A Genetic Algorithm. - Xiaoming Yu; Alessandro Fin; Franco Fummi; Elizabeth M. Rudnick (GECCO, 2002)

Protected IP-core test generation. - Alessandro Fin; Franco Fummi (ACM Great Lakes Symposium on VLSI, 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 (HLDVT, 2002)

A Genetic Testing Framework for Digital Integrated Circuits. - Xiaoming Yu; Alessandro Fin; Franco Fummi; Elizabeth M. Rudnick (ICTAI, 2002)

A fault tolerant incremental design methodology. - S. Cailotto; Alessandro Fin; Franco Fummi (ISCAS (3), 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 functional testing framework for embedded systems. - Alessandro Fin (2002)

LAERTE++: an Object Oriented High-level TPG for SystemC Designs. - Alessandro Fin; Franco Fummi (FDL, 2003)

Mixing ATPG and property checking for testing HW/SW interfaces. - Alessandro Fin; Franco Fummi; Graziano Pravadelli (ACM Great Lakes Symposium on VLSI, 2003)

Genetic algorithms: the philosopher's stone or an effective solution for high-level TPG? - Alessandro Fin; Franco Fummi (HLDVT, 2003)

A SystemC-based Framework for Properties Incompleteness Evaluation. - Alessandro Fin; Franco Fummi; Massimo Poncino; Graziano Pravadelli (MTV, 2003)

A Remote Methodology for Embedded Systems Design and Validation. - Alessandro Fin; Franco Fummi (Des. Autom. Embed. Syst., 2003)