Sfoglia per Autore  CABODI, Gianpiero

Opzioni
Mostrati risultati da 1 a 20 di 138
Citazione Data di pubblicazione Autori File
Experiences in Prolog based DFT rule checking / Cabodi, Gianpiero; Camurati, Paolo Enrico; Prinetto, Paolo Ernesto. - (1986), pp. 909-914. (Intervento presentato al convegno FJCC'86: IEEE Fall Joint Computer Conference tenutosi a Dallas, Texas (USA) nel November 1986). 1-gen-1986 CABODI, GianpieroCAMURATI, Paolo EnricoPRINETTO, Paolo Ernesto -
C_TPDL* : adapting TPDL* to concurrent simulation environments / Cabodi, Gianpiero; Camurati, Paolo Enrico; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo. - In: MICROPROCESSING AND MICROPROGRAMMING. - ISSN 0165-6074. - STAMPA. - 18:1-5(1986), pp. 39-46. 1-gen-1986 CABODI, GianpieroCAMURATI, Paolo EnricoPRINETTO, Paolo ErnestoSONZA REORDA, Matteo -
Fault Simulation in a Multilevel Environment: the MOZART Approach / Cabodi, Gianpiero; S., Gai; M., Mezzalama; P., Montessoro; F., Somenzi. - (1988), pp. 128-133. (Intervento presentato al convegno FTCS18: IEEE 1988 Fault-Tolerant Computing Symposium tenutosi a Tokyo (Japan) nel June 1988). 1-gen-1988 CABODI, Gianpiero + -
Testability measures with concurrent good simulation / Cabodi, Gianpiero; Camurati, Paolo Enrico; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo. - (1989), pp. 144-149. (Intervento presentato al convegno ETC'89: IEEE 1st European Test Conference tenutosi a Paris (France) nel 12-14 April 1989) [10.1109/ETC.1989.36236]. 1-gen-1989 CABODI, GianpieroCAMURATI, Paolo EnricoPRINETTO, Paolo ErnestoSONZA REORDA, Matteo -
Expressing logical and temporal conditions in simulation environments: TPDL* / Cabodi, Gianpiero; Camurati, Paolo Enrico; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo. - In: MICROPROCESSING AND MICROPROGRAMMING. - ISSN 0165-6074. - 26:(1989), pp. 241-252. 1-gen-1989 CABODI, GianpieroCAMURATI, Paolo EnricoPRINETTO, Paolo ErnestoSONZA REORDA, Matteo -
A Transputer-based gate-level fault simulator / Cabodi, Gianpiero; S., Gai; SONZA REORDA, Matteo. - In: MICROPROCESSING AND MICROPROGRAMMING. - ISSN 0165-6074. - 30:(1990), pp. 529-534. 1-gen-1990 CABODI, GianpieroSONZA REORDA, Matteo + -
TPDL*: Extended Temporal Profile Description Language / Cabodi, Gianpiero; Camurati, Paolo Enrico; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo. - In: SOFTWARE-PRACTICE & EXPERIENCE. - ISSN 0038-0644. - 21:(1991), pp. 355-374. 1-gen-1991 CABODI, GianpieroCAMURATI, Paolo EnricoPRINETTO, Paolo ErnestoSONZA REORDA, Matteo -
Fast Differential Fault Simulation by Dynamic Fault Ordering / Cabodi, Gianpiero; S., Gai; SONZA REORDA, Matteo. - (1991), pp. 60-63. (Intervento presentato al convegno ICCD'91: IEEE International Conference on Computer Design tenutosi a Cambridge, MA (USA) nel October 1991). 1-gen-1991 CABODI, GianpieroSONZA 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 -
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 + -
Boolean Function Manipulation on Massively Parallel Computers / Cabodi, Gianpiero; S., Gai; SONZA REORDA, Matteo. - STAMPA. - (1992), pp. 508-509. (Intervento presentato al convegno IEEE Symposium on the Frontiers of Massively Parallel Computation) [10.1109/FMPC.1992.234869]. 1-gen-1992 CABODI, GianpieroSONZA 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 -
Boolean Function Decomposition in Symbolic FSM Traversal / Cabodi, Gianpiero; Camurati, Paolo Enrico; Quer, Stefano. - STAMPA. - (1993), pp. 265-268. (Intervento presentato al convegno ICVC'93: IEEE 3rd International Conference on VLSI and CAD tenutosi a Taejon, Korea nel November 1993). 1-gen-1993 CABODI, GianpieroCAMURATI, Paolo EnricoQUER, Stefano -
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 Parallel System for Test Pattern Generation / G. P., Balboni; Cabodi, Gianpiero; S., Gai; SONZA REORDA, Matteo. - In: PARALLEL COMPUTING. - ISSN 0167-8191. - 19:(1993), pp. 177-185. 1-gen-1993 CABODI, GianpieroSONZA REORDA, Matteo + -
Exploiting cofactoring for efficient FSM symbolic traversal based on the Transition Relation / Cabodi, Gianpiero; Camurati, Paolo Enrico. - (1993), pp. 229-303. (Intervento presentato al convegno ICCD'93: IEEE International Conference on Computer Design tenutosi a Cambridge, MA (USA) nel October 1993). 1-gen-1993 CABODI, GianpieroCAMURATI, Paolo Enrico -
Auxiliary variables for extending symbolic traversal techniques to data paths / Cabodi, Gianpiero; Camurati, Paolo Enrico; Quer, Stefano. - (1994), pp. 289-293. (Intervento presentato al convegno DAC-31: 31st ACM/IEEE Desing Automation Conference tenutosi a San Diego nel June 1994). 1-gen-1994 CABODI, GianpieroCAMURATI, Paolo EnricoQUER, Stefano -
Symbolic Exploration of Large Circuits with Enhanced Forward/Backward Traversals / Cabodi, Gianpiero; Camurati, Paolo Enrico; Quer, Stefano. - (1994), pp. 22-27. (Intervento presentato al convegno IEEE EURO-DAC94 tenutosi a Grenoble nel September 1994). 1-gen-1994 CABODI, GianpieroCAMURATI, Paolo EnricoQUER, Stefano -
Efficient State Space Pruning in Symbolic Backward Traversal / Cabodi, Gianpiero; Camurati, Paolo Enrico; Quer, Stefano. - (1994), pp. 230-235. (Intervento presentato al convegno ICCD'94: IEEE International Conference on Computer Design tenutosi a Cambridge, MA (USA) nel October 1994). 1-gen-1994 CABODI, GianpieroCAMURATI, Paolo EnricoQUER, Stefano -
A data parallel approach to Boolean function manipulation using BDDs / Cabodi, Gianpiero; Gai, Silvano; Rebaudengo, Maurizio; SONZA REORDA, Matteo. - (1994), pp. 163-175. (Intervento presentato al convegno Massively Parallel Computing Systems, 1994., Proceedings of the First International Conference on tenutosi a Ischia (I) nel 2-6 May 1994) [10.1109/MPCS.1994.367081]. 1-gen-1994 CABODI, GianpieroGAI, SilvanoREBAUDENGO, MaurizioSONZA REORDA, Matteo -
Mostrati risultati da 1 a 20 di 138
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile