Alessandro Fin
Alessandro Fin
Verified email at google.com
Title
Cited by
Cited by
Year
SystemC: A homogenous environment to test embedded systems
A Fin, F Fummi, M Martignano, M Signoretto
Proceedings of the ninth international symposium on Hardware/software …, 2001
612001
Functional test generation for behaviorally sequential models
F Ferrandi, G Ferrara, D Sciuto, A Fin, F Fummi
Proceedings Design, Automation and Test in Europe. Conference and Exhibition …, 2001
532001
Amleto: A multi-language environment for functional test generation
A Fin, F Fummi, G Pravadelli
Proceedings International Test Conference 2001 (Cat. No. 01CH37260), 821-829, 2001
502001
A VHDL error simulator for functional test generation
A Fin, F Fummi
Proceedings of the conference on Design, automation and test in Europe, 390-395, 2000
382000
Laerte++: an object oriented high-level TPG for systemC designs
A Fin, F Fummi
Languages for system specification, 105-117, 2004
342004
A Web-CAD methodology for IP-core analysis and simulation
A Fin, F Fummi
Proceedings of the 37th Annual Design Automation Conference, 597-600, 2000
302000
Genetic algorithms: the philosopher's stone or an effective solution for high-level TPG?
A Fin, F Fummi
Eighth IEEE International High-Level Design Validation and Test Workshop …, 2003
262003
A genetic testing framework for digital integrated circuits
X Yu, A Fin, F Fummi, EM Rudnick
14th IEEE International Conference on Tools with Artificial Intelligence …, 2002
162002
An application of genetic algorithms and BDDs to functional testing
F Ferrandi, A Fin, F Fummi, D Sciuto
Proceedings 2000 International Conference on Computer Design, 48-56, 2000
152000
On the reuse of VHDL modules into systemC designs
N Agliada, A Fin, F Fummi, M Martignano, G Pravadelli
Proceedings of IEEE Forum on Design Language (FDL’01), 2001
142001
The use of SystemC for design verification and integration test of IP-cores
A Fin, F Fummi, D Signoretto
Proceedings 14th Annual IEEE International ASIC/SOC Conference (IEEE Cat. No …, 2001
132001
Emulation-based design errors identification
A Castelnuovo, A Fin, F Fummi, F Sforza
17th IEEE International Symposium on Defect and Fault Tolerance in VLSI …, 2002
102002
A 1000X speed up for properties completeness evaluation
A Castelnuovo, A Fedeli, A Fin, F Fummi, G Pravadelli, U Rossi, F Sforza, ...
Seventh IEEE International High-Level Design Validation and Test Workshop …, 2002
82002
A 1000X speed up for properties completeness evaluation
A Castelnuovo, A Fedeli, A Fin, F Fummi, G Pravadelli, U Rossi, F Sforza, ...
Seventh IEEE International High-Level Design Validation and Test Workshop …, 2002
82002
Soft-cores generation by instruction set analysis
A Fin, F Fummi, G Perbellini
Proceedings of the 14th international symposium on Systems synthesis, 227-232, 2001
72001
Extending SystemC to Analog Modelling and Simulation. Languages for System Specification
G Biagetti, M Caldari, M Conti, S Orcioni
Springer US, 2004
62004
A genetic approach to qualitative temporal reasoning with constraints
A Fin
Proceedings Third International Conference on Computational Intelligence and …, 1999
51999
SystemC as a complete design and validation environment
A Fin, F Fummi, G Pravadelli
SystemC, 127-156, 2003
42003
Functional Test Generation
F Ferrandi, D Scutio, A Fin, F Fummi
Evolutionary Algorithms for Embedded System Design, 105-142, 2003
42003
SystemC: единая среда для тестирования встроенных систем
A Fin, F Fuccmi, M Martignano, M Signoretto
EDA EXPERT: Совместный проект Chip News и ЭлекТрейд-М, 57, 2004
22004
The system can't perform the operation now. Try again later.
Articles 1–20