Archivio Istituzionale della RicercaCORNO, Fulvio
CORNO, Fulvio
Dipartimento di Automatica e Informatica
002154
Mostra
records
Risultati 1 - 20 di 310 (tempo di esecuzione: 0.03 secondi).
A simulation-based approach to test pattern generation for synchronous circuits
1992 Camurati, Paolo Enrico; Corno, Fulvio; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo
A new model for improving symbolic Product Machine traversal
1992 Cabodi, Gianpiero; Camurati, Paolo Enrico; Corno, Fulvio; S., Gai; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo
Cross-fertilizing FSM Verification Techniques and Sequential Diagnosis
1992 Cabodi, Gianpiero; Camurati, Paolo Enrico; Corno, Fulvio; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo
Sequential circuit diagnosis based on formal verification techniques
1992 Cabodi, Gianpiero; Camurati, Paolo Enrico; Corno, Fulvio; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo
VOVHDL: A verification-oriented dialect of VHDL
1993 Camurati, Paolo Enrico; Corno, Fulvio; Prinetto, Paolo Ernesto; C., Bayol; B., Soulas
A verifiable design methodology at system-level
1993 Camurati, Paolo Enrico; Corno, Fulvio; Prinetto, Paolo Ernesto; C., Bayol; B., Soulas
System-level fault modeling and test pattern generation with process algebras
1993 Camurati, Paolo Enrico; Corno, Fulvio; Prinetto, Paolo Ernesto
Finding the Maximurn Clique in a Graph Using BDDs
1993 Corno, Fulvio; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo
A methodology for system-level design for verifiability
1993 Camurati, Paolo Enrico; Corno, Fulvio; Prinetto, Paolo Ernesto
An efficient tool for system-level verification of behaviors and temporal properties
1993 Camurati, Paolo Enrico; Corno, Fulvio; Prinetto, Paolo Ernesto
An Approach to Sequential Circuit Diagnosis Based on Formal Verification Techniques
1993 Cabodi, Gianpiero; Camurati, Paolo Enrico; Corno, Fulvio; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo
Exploiting symbolic traversal techniques for efficient Process Algebra Manipulation
1993 Camurati, Paolo Enrico; Corno, Fulvio; Prinetto, Paolo Ernesto
System-Level Modeling and Verification: a Comprehensive Design Methodology
1994 Camurati, Paolo Enrico; Corno, Fulvio; Prinetto, Paolo Ernesto; bayol, C.; soulas, B. .
Making the circular self-test path technique effective for real circuits
1994 Corno, Fulvio; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo
A process algebra interpretation of a verification oriented overlanguage of VHDL
1994 Bayol, C.; Soulas, B.; Borrione, D.; Corno, Fulvio; Prinetto, Paolo Ernesto
A New Functional Fault Model for System-Level Descriptions
1994 P., Camurati; Corno, Fulvio; Meo, Michela; Prinetto, Paolo Ernesto
An experimental analysis of the effectiveness of the circular self-test path technique
1994 Prinetto, Paolo Ernesto; Corno, Fulvio; SONZA REORDA, Matteo
Reti Logiche (Raccolta di lucidi)
1995 Corno, Fulvio; Prinetto, Paolo Ernesto
Uso di Tecniche Evolutive per la Risoluzione di Problemi di CAD Elettronico
1995 Corno, Fulvio; Prinetto, Paolo Ernesto; Rebaudengo, Maurizio; SONZA REORDA, Matteo
A portable ATPG tool for parallel and distributed systems
1995 Corno, Fulvio; Prinetto, Paolo Ernesto; Rebaudengo, Maurizio; SONZA REORDA, Matteo; Veiluva, E.
| Citazione | Data di pubblicazione | Autori | File |
|---|---|---|---|
| A simulation-based approach to test pattern generation for synchronous circuits / Camurati, Paolo Enrico; Corno, Fulvio; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo. - STAMPA. - (1992), pp. 263-267. (Intervento presentato al convegno IEEE VLSI Test Symposium) [10.1109/VTEST.1992.232763]. | 1-gen-1992 | CAMURATI, Paolo EnricoCORNO, FulvioPRINETTO, Paolo ErnestoSONZA REORDA, Matteo | - |
| A new model for improving symbolic Product Machine traversal / Cabodi, Gianpiero; Camurati, Paolo Enrico; Corno, Fulvio; S., Gai; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo. - (1992), pp. 614-619. (Intervento presentato al convegno DAC-29: 29th ACM/IEEE Design Automation Conference tenutosi a Anaheim, CA (USA) nel June 1992). | 1-gen-1992 | CABODI, GianpieroCAMURATI, Paolo EnricoCORNO, FulvioPRINETTO, Paolo ErnestoSONZA REORDA, Matteo + | - |
| Cross-fertilizing FSM Verification Techniques and Sequential Diagnosis / Cabodi, Gianpiero; Camurati, Paolo Enrico; Corno, Fulvio; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo. - (1992), pp. 306-311. (Intervento presentato al convegno IEEE EURO-DAC'92 tenutosi a Hamburg (Germany) nel September 1992). | 1-gen-1992 | CABODI, GianpieroCAMURATI, Paolo EnricoCORNO, FulvioPRINETTO, Paolo ErnestoSONZA REORDA, Matteo | - |
| Sequential circuit diagnosis based on formal verification techniques / Cabodi, Gianpiero; Camurati, Paolo Enrico; Corno, Fulvio; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo. - (1992), pp. 187-196. (Intervento presentato al convegno ITC 1992: IEEE International Test Conference 1992 tenutosi a Baltimore MD (USA) nel Sept. 20-24 1992). | 1-gen-1992 | CABODI, GianpieroCAMURATI, Paolo EnricoCORNO, FulvioPRINETTO, Paolo ErnestoSONZA REORDA, Matteo | - |
| VOVHDL: A verification-oriented dialect of VHDL / Camurati, Paolo Enrico; Corno, Fulvio; Prinetto, Paolo Ernesto; C., Bayol; B., Soulas. - STAMPA. - (1993), pp. 37-47. (Intervento presentato al convegno VFE'93: VHDL Forum for CAD in Europe: Fall '93 Meeting tenutosi a Hamburg (Germany) nel Sept 23, 1993). | 1-gen-1993 | CAMURATI, Paolo EnricoCORNO, FulvioPRINETTO, Paolo Ernesto + | - |
| A verifiable design methodology at system-level / Camurati, Paolo Enrico; Corno, Fulvio; Prinetto, Paolo Ernesto; C., Bayol; B., Soulas. - STAMPA. - (1993), pp. 364-367. (Intervento presentato al convegno ICVC93: IEEE 3rd International Conference on VLSI and CAD tenutosi a Taejon (Korea) nel Nov 1993). | 1-gen-1993 | CAMURATI, Paolo EnricoCORNO, FulvioPRINETTO, Paolo Ernesto + | - |
| System-level fault modeling and test pattern generation with process algebras / Camurati, Paolo Enrico; Corno, Fulvio; Prinetto, Paolo Ernesto. - STAMPA. - (1993), pp. 47-56. (Intervento presentato al convegno ETC-93: IEEE 3rd European Test Conference tenutosi a Rotterdam (The Netherlands) nel Apr 19-22, 1993) [10.1109/ETC.1993.246534]. | 1-gen-1993 | CAMURATI, Paolo EnricoCORNO, FulvioPRINETTO, Paolo Ernesto | - |
| Finding the Maximurn Clique in a Graph Using BDDs / Corno, Fulvio; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo. - STAMPA. - (1993), pp. 269-272. (Intervento presentato al convegno ICVC93: IEEE 3rd International Conference on VLSI and CAD. tenutosi a Taejon (Korea). nel Nov 1993). | 1-gen-1993 | CORNO, FulvioPRINETTO, Paolo ErnestoSONZA REORDA, Matteo | - |
| A methodology for system-level design for verifiability / Camurati, Paolo Enrico; Corno, Fulvio; Prinetto, Paolo Ernesto. - STAMPA. - 683:(1993), pp. 80-91. (Intervento presentato al convegno IFIPWG10.2 Advanced Research Working Conference, CHARME'93 tenutosi a Arles (FRA) nel May 24–26, 1993) [10.1007/BFb0021716]. | 1-gen-1993 | CAMURATI, Paolo EnricoCORNO, FulvioPRINETTO, Paolo Ernesto | - |
| An efficient tool for system-level verification of behaviors and temporal properties / Camurati, Paolo Enrico; Corno, Fulvio; Prinetto, Paolo Ernesto. - STAMPA. - (1993), pp. 124-129. (Intervento presentato al convegno EURO-DAC '93: IEEE European Design Automation Conference, 1993, with EURO-VHDL '93 tenutosi a Hamburg (Germany) nel Sep 20-24, 1993) [10.1109/EURDAC.1993.410626]. | 1-gen-1993 | CAMURATI, Paolo EnricoCORNO, FulvioPRINETTO, Paolo Ernesto | - |
| An Approach to Sequential Circuit Diagnosis Based on Formal Verification Techniques / Cabodi, Gianpiero; Camurati, Paolo Enrico; Corno, Fulvio; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo. - In: JOURNAL OF ELECTRONIC TESTING. - ISSN 0923-8174. - 4:(1993), pp. 11-17. | 1-gen-1993 | CABODI, GianpieroCAMURATI, Paolo EnricoCORNO, FulvioPRINETTO, Paolo ErnestoSONZA REORDA, Matteo | - |
| Exploiting symbolic traversal techniques for efficient Process Algebra Manipulation / Camurati, Paolo Enrico; Corno, Fulvio; Prinetto, Paolo Ernesto. - STAMPA. - (1993), pp. 31-44. (Intervento presentato al convegno CHDL'93: 11th IFIP WG10.2 International Conference on Computer Hardware Description Languages and their Applications tenutosi a Ottawa, Ontario (Canada) nel Apr 26-28, 1993). | 1-gen-1993 | CAMURATI, Paolo EnricoCORNO, FulvioPRINETTO, Paolo Ernesto | - |
| System-Level Modeling and Verification: a Comprehensive Design Methodology / Camurati, Paolo Enrico; Corno, Fulvio; Prinetto, Paolo Ernesto; bayol, C.; soulas, B. .. - STAMPA. - (1994), pp. 636-640. (Intervento presentato al convegno ED&TC 1994 : IEEE European Design and Test Conference EDAC, The European Conference on Design Automation. ETC European Test Conference. EUROASIC, The European Event in ASIC Design tenutosi a Paris (France) nel Feb 28 - Mar 03, 1994) [10.1109/EDTC.1994.326811 ]. | 1-gen-1994 | CAMURATI, Paolo EnricoCORNO, FulvioPRINETTO, Paolo Ernesto + | - |
| Making the circular self-test path technique effective for real circuits / Corno, Fulvio; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo. - STAMPA. - (1994), pp. 949-957. (Intervento presentato al convegno ITC 1994 : IEEE International Test Conference, 1994 tenutosi a Washington DC (USA) nel Oct 2-6, 1994) [10.1109/TEST.1994.528044 ]. | 1-gen-1994 | CORNO, FulvioPRINETTO, Paolo ErnestoSONZA REORDA, Matteo | - |
| A process algebra interpretation of a verification oriented overlanguage of VHDL / Bayol, C.; Soulas, B.; Borrione, D.; Corno, Fulvio; Prinetto, Paolo Ernesto. - (1994), pp. 506-511. (Intervento presentato al convegno EURO-DAC '94: IEEE European Design Automation Conference tenutosi a Grenoble (France) nel Sep 19-22, 1994) [10.1145/198174.198314]. | 1-gen-1994 | CORNO, FulvioPRINETTO, Paolo Ernesto + | - |
| A New Functional Fault Model for System-Level Descriptions / P., Camurati; Corno, Fulvio; Meo, Michela; Prinetto, Paolo Ernesto. - (1994). (Intervento presentato al convegno 2th IEEE VLSI Test Symposium tenutosi a NJ (USA) nel April 1994) [10.1109/VTEST.1994.292310]. | 1-gen-1994 | CORNO, FulvioMEO, MichelaPRINETTO, Paolo Ernesto + | - |
| An experimental analysis of the effectiveness of the circular self-test path technique / Prinetto, Paolo Ernesto; Corno, Fulvio; SONZA REORDA, Matteo. - STAMPA. - (1994), pp. 246-251. (Intervento presentato al convegno EURO-DAC '94: IEEE European design automation Conference tenutosi a Grenoble (France) nel Sep 19-22, 1994) [10.1145/198174.198254]. | 1-gen-1994 | PRINETTO, Paolo ErnestoCORNO, FulvioSONZA REORDA, Matteo | - |
| Reti Logiche (Raccolta di lucidi) / Corno, Fulvio; Prinetto, Paolo Ernesto. - (1995). | 1-gen-1995 | CORNO, FulvioPRINETTO, Paolo Ernesto | - |
| Uso di Tecniche Evolutive per la Risoluzione di Problemi di CAD Elettronico / Corno, Fulvio; Prinetto, Paolo Ernesto; Rebaudengo, Maurizio; SONZA REORDA, Matteo - In: Processori dedicati / Lanfranco Lopriore , Fabrizio Luccio , Maria Marinaro. - STAMPA. - Milano : Franco Angeli, 1995. - ISBN 9788820494834. - pp. 39-43 | 1-gen-1995 | CORNO, FulvioPRINETTO, Paolo ErnestoREBAUDENGO, MaurizioSONZA REORDA, Matteo | - |
| A portable ATPG tool for parallel and distributed systems / Corno, Fulvio; Prinetto, Paolo Ernesto; Rebaudengo, Maurizio; SONZA REORDA, Matteo; Veiluva, E.. - (1995), pp. 29-34. (Intervento presentato al convegno 13th IEEE VLSI Test Symposium (VTS'95) tenutosi a Princeton, NJ, USA nel April 30 - May 03 1995) [10.1109/VTEST.1995.512613]. | 1-gen-1995 | CORNO, FulvioPRINETTO, Paolo ErnestoREBAUDENGO, MaurizioSONZA REORDA, Matteo + | - |