CORNO, Fulvio

CORNO, Fulvio  

Dipartimento di Automatica e Informatica  

002154  

Mostra records
Risultati 1 - 20 di 306 (tempo di esecuzione: 0.07 secondi).
Citazione Data di pubblicazione Autori File
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 + -
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 -
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 -
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 -
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 + -
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 -
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 -
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 + -
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 -
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 -
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 -
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 + -
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 + -
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 -
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 -
Reti Logiche (Raccolta di lucidi) / Corno, Fulvio; Prinetto, Paolo Ernesto. - (1995). 1-gen-1995 CORNO, FulvioPRINETTO, Paolo Ernesto -
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 + -