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 | 59 | 2001 |
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 | 58 | 2001 |
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 | 53 | 2001 |
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 | 42 | 2000 |
Laerte++: an object oriented high-level TPG for systemC designs A Fin, F Fummi Languages for System Specification: Selected Contributions on UML, SystemC …, 2004 | 37 | 2004 |
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 | 32 | 2000 |
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 | 30 | 2003 |
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 | 20 | 2002 |
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 | 16 | 2001 |
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 | 15 | 2001 |
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 | 15 | 2000 |
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 | 11 | 2002 |
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 | 10 | 2002 |
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 | 10 | 2002 |
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 | 8 | 2001 |
Languages for System Specification A Fin, F Fummi Springer US, 2004 | 6 | 2004 |
A genetic approach to qualitative temporal reasoning with constraints A Fin Proceedings Third International Conference on Computational Intelligence and …, 1999 | 5 | 1999 |
SystemC as a complete design and validation environment A Fin, F Fummi, G Pravadelli SystemC: Methodologies and Applications, 127-156, 2003 | 4 | 2003 |
Functional test generation: overview and proposal of a hybrid genetic approach F Ferrandi, D Scutio, A Fin, F Fummi Evolutionary Algorithms for Embedded System Design, 105-142, 2003 | 4 | 2003 |
SystemC: единая среда для тестирования встроенных систем A Fin, F Fuccmi, M Martignano, M Signoretto EDA EXPERT: Совместный проект Chip News и ЭлекТрейд-М, 57, 2004 | 2 | 2004 |