Sfoglia per Autore  CABODI, Gianpiero

opzioni
Mostrati risultati da 1 a 20 di 136
Citazione Data di pubblicazione Autori File
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 -
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 -
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 -
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 -
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 + -
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 -
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 -
Full Symbolic ATPG for Large Circuits / Cabodi, Gianpiero; Camurati, Paolo Enrico; Quer, Stefano. - (1994), pp. 980-988. ((Intervento presentato al convegno ITC'94: IEEE International Test Conference tenutosi a Washington, DC (USA) nel October 1994. 1-gen-1994 CABODI, GianpieroCAMURATI, Paolo EnricoQUER, Stefano -
Symbolic Traversals of Data Paths with Auxiliary Variables / Cabodi, Gianpiero; Camurati, Paolo Enrico; Quer, Stefano. - STAMPA. - (1994), pp. 93-96. ((Intervento presentato al convegno GLSV '94: Fourth Great Lakes Symposium on VLSI tenutosi a Notre Dame, Indiana, USA nel March 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 -
Mostrati risultati da 1 a 20 di 136
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