PORTO @ Archivio Istituzionale della Ricerca

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 109
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 -
Improving Diagnostic capabilities of ATEs via AI techniques / Camurati, Paolo Enrico; Mezzalama, Marco; Prinetto, Paolo Ernesto. - (1987). (Intervento presentato al convegno 2nd European Workshop on Fault Diagnostics, Reliability and Related Knowledge-based Approaches tenutosi a Manchester (UK) nel April 1987). 1-gen-1987 CAMURATI, Paolo EnricoMEZZALAMA, MarcoPRINETTO, Paolo Ernesto -
Random Testability Analysis: comparing and evaluating existing approaches / Camurati, Paolo Enrico; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo. - STAMPA. - (1988), pp. 70-73. (Intervento presentato al convegno IEEE International Conference on Computer Design) [10.1109/ICCD.1988.25662]. 1-gen-1988 CAMURATI, Paolo EnricoPRINETTO, Paolo ErnestoSONZA REORDA, Matteo -
Probabilistic Testability Analysis / Camurati, Paolo Enrico; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo. - STAMPA. - (1989), pp. 640-645. (Intervento presentato al convegno CAD&CG 1989: International Conference on Computer-Aided Design & Computer Graphics tenutosi a Beijing (China) nel Aug 10-12, 1989). 1-gen-1989 CAMURATI, Paolo EnricoPRINETTO, Paolo ErnestoSONZA REORDA, Matteo -
Exact probabilistic testability measures for multi-output circuits / Camurati, Paolo Enrico; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo. - STAMPA. - (1989), p. 1.2.7. (Intervento presentato al convegno Robotic systems and AMT: IFIP TC5/WG5.3 International Conference on CAD/CAM and AMT, 1989 tenutosi a Jerusalem (Israel) nel Dc 11-14, 1989). 1-gen-1989 CAMURATI, 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 -
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 -
Model Checking and Graph Theory in sequential ATPG / Camurati, Paolo Enrico; Gilli, Marco; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo. - STAMPA. - (1990), pp. 505-517. (Intervento presentato al convegno CAV 1990: Workshop on Computer-Aided Verification, tenutosi a Rutgers NJ (USA) nel June 1990). 1-gen-1990 CAMURATI, Paolo EnricoGILLI, MARCOPRINETTO, Paolo ErnestoSONZA REORDA, Matteo -
A new algorithm for diagnosis-oriented automatic test pattern generation / Camurati, Paolo Enrico; Medina, D.; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo. - (1990), pp. 332-336. (Intervento presentato al convegno EuroASIC 1990: IEEE EURO ASIC tenutosi a Paris (France) nel 29 May-1 June 1990) [10.1109/EASIC.1990.207964]. 1-gen-1990 CAMURATI, Paolo EnricoPRINETTO, Paolo ErnestoSONZA REORDA, Matteo + -
A diagnostic test pattern generation algorithm / Camurati, Paolo Enrico; Medina, D.; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo. - (1990), pp. 52-58. (Intervento presentato al convegno ITC 1990: IEEE International Test Conference 1990 tenutosi a Washington DC (USA) nel 10-14 Sept. 1990) [10.1109/TEST.1990.114000]. 1-gen-1990 CAMURATI, Paolo EnricoPRINETTO, Paolo ErnestoSONZA REORDA, Matteo + -
Diagnosis Oriented Test Pattern Generation / Camurati, Paolo Enrico; Lioy, Antonio; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo. - STAMPA. - (1990), pp. 470-474. (Intervento presentato al convegno IEEE European Design Automation Conference) [10.1109/EDAC.1990.136693]. 1-gen-1990 CAMURATI, Paolo EnricoLIOY, ANTONIOPRINETTO, Paolo ErnestoSONZA REORDA, Matteo -
The Product Machine and Implicit Enumeration to prove FSMs correct / Camurati, Paolo Enrico; Gilli, Marco; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo. - (1991), pp. 51-62. (Intervento presentato al convegno CHARME 1991: Advanced Research Workshop on Correct Hardware Design Methodologies tenutosi a Torino (Italy) nel June 1991). 1-gen-1991 CAMURATI, Paolo EnricoGILLI, MARCOPRINETTO, Paolo ErnestoSONZA REORDA, Matteo -
Comparing ATPGs for synchronous sequential circuits / Camurati, Paolo Enrico; Gilli, Marco; Meo, ANGELO RAFFAELE; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo. - (1991), pp. 224-228. (Intervento presentato al convegno CompEuro’91: IEEE 5th Annual European Computer Conference on VLSI and Computers tenutosi a Bologna (Italy) nel 13-16 May 1991) [10.1109/CMPEUR.1991.257386]. 1-gen-1991 CAMURATI, Paolo EnricoGILLI, MARCOMEO, ANGELO RAFFAELEPRINETTO, Paolo ErnestoSONZA 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 -
The use of model checking in ATPG for sequential circuits / Camurati, Paolo Enrico; Gilli, Marco; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo. - 531:(1991), pp. 86-95. (Intervento presentato al convegno Computer-Aided Verification 2nd International Conference, CAV '90 tenutosi a New Brunswick, NJ (USA) nel June 18-21, 1990) [10.1007/BFb0023722]. 1-gen-1991 CAMURATI, Paolo EnricoGILLI, MARCOPRINETTO, Paolo ErnestoSONZA REORDA, Matteo -
An experimental comparison of different approaches to ROM BIST / Barbagallo, S.; Burri, A.; Medina, D.; Camurati, Paolo Enrico; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo. - (1991), pp. 567-571. (Intervento presentato al convegno CompEuro’91: IEEE 5th Annual European Computer Conference on VLSI and Computers tenutosi a Bologna (Italy) nel 13-16 May 1991) [10.1109/CMPEUR.1991.257450]. 1-gen-1991 CAMURATI, Paolo EnricoPRINETTO, Paolo ErnestoSONZA REORDA, Matteo + -
Proving finite state machines correct with an automaton-based method / Camurati, Paolo Enrico; Gilli, Marco; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo. - (1991), pp. 255-258. (Intervento presentato al convegno IEEE First Great Lakes Symposium on VLSI tenutosi a Kalamazoo MI (USA), nel 1-2 March 1991) [10.1109/GLSV.1991.143975]. 1-gen-1991 CAMURATI, Paolo EnricoGILLI, MARCOPRINETTO, Paolo ErnestoSONZA REORDA, Matteo -
Efficient Verification of Sequential Circuits on a Parallel System / Camurati, Paolo Enrico; Prinetto, Paolo Ernesto; Rebaudengo, Maurizio; SONZA REORDA, Matteo. - STAMPA. - (1992), pp. 64-68. (Intervento presentato al convegno EDAC'92: IEEE European Design Automation Conference tenutosi a Brussels) [10.1109/EDAC.1992.205895]. 1-gen-1992 CAMURATI, Paolo EnricoPRINETTO, Paolo ErnestoREBAUDENGO, MaurizioSONZA REORDA, Matteo -
Centralized vs. distributed implementation of FSM equivalence verification on a parallel system / Camurati, Paolo Enrico; Prinetto, Paolo Ernesto; Rebaudengo, Maurizio; SONZA REORDA, Matteo. - STAMPA. - (1992), pp. 554-557. (Intervento presentato al convegno EWPC '92 : the European Workshops on Parallel Computing: from theory to sound practic tenutosi a Barcelona (Spain) nel Mar 23-24, 1992). 1-gen-1992 CAMURATI, Paolo EnricoPRINETTO, Paolo ErnestoREBAUDENGO, MaurizioSONZA REORDA, Matteo -
Mostrati risultati da 1 a 20 di 109
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