SONZA REORDA, MATTEO
SONZA REORDA, MATTEO
Dipartimento di Automatica e Informatica
REORDA M. S; Reorda, Matteo Sonza; Reorda M. Sonza; M. Sonza Reorda; Reorda, M. S.; M.S. Reorda; Matteo Sonza Reorda
001894
C_TPDL* : adapting TPDL* to concurrent simulation environments
1986 Cabodi, Gianpiero; Camurati, Paolo Enrico; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo
Random Testability Analysis: comparing and evaluating existing approaches
1988 Camurati, Paolo Enrico; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo
Probabilistic Testability Analysis
1989 Camurati, Paolo Enrico; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo
Exact probabilistic testability measures for multi-output circuits
1989 Camurati, Paolo Enrico; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo
Expressing logical and temporal conditions in simulation environments: TPDL*
1989 Cabodi, Gianpiero; Camurati, Paolo Enrico; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo
Testability measures with concurrent good simulation
1989 Cabodi, Gianpiero; Camurati, Paolo Enrico; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo
Model Checking and Graph Theory in sequential ATPG
1990 Camurati, Paolo Enrico; Gilli, Marco; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo
A new algorithm for diagnosis-oriented automatic test pattern generation
1990 Camurati, Paolo Enrico; Medina, D.; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo
Exact Probabilistic Testability Measures for Multi-Output Circuits
1990 Camurati, P; Lioy, A; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo
A Transputer-based gate-level fault simulator
1990 Cabodi, Gianpiero; S., Gai; SONZA REORDA, Matteo
A diagnostic test pattern generation algorithm
1990 Camurati, Paolo Enrico; Medina, D.; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo
Diagnosis Oriented Test Pattern Generation
1990 Camurati, Paolo Enrico; Lioy, Antonio; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo
The Product Machine and Implicit Enumeration to prove FSMs correct
1991 Camurati, Paolo Enrico; Gilli, Marco; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo
Comparing ATPGs for synchronous sequential circuits
1991 Camurati, Paolo Enrico; Gilli, Marco; Meo, ANGELO RAFFAELE; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo
TPDL*: Extended Temporal Profile Description Language
1991 Cabodi, Gianpiero; Camurati, Paolo Enrico; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo
Proving finite state machines correct with an automaton-based method
1991 Camurati, Paolo Enrico; Gilli, Marco; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo
The use of model checking in ATPG for sequential circuits
1991 Camurati, Paolo Enrico; Gilli, Marco; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo
An experimental comparison of different approaches to ROM BIST
1991 Barbagallo, S.; Burri, A.; Medina, D.; Camurati, Paolo Enrico; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo
An Algebraic Approach to Test Generation for Sequential Circuits
1991 Lioy, Antonio; Macii, Enrico; Meo, A. R.; SONZA REORDA, Matteo
Fast Differential Fault Simulation by Dynamic Fault Ordering
1991 Cabodi, Gianpiero; S., Gai; SONZA REORDA, Matteo
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 | - |
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 + | - |
Exact Probabilistic Testability Measures for Multi-Output Circuits / Camurati, P; Lioy, A; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo. - In: JOURNAL OF ELECTRONIC TESTING. - ISSN 0923-8174. - STAMPA. - 1, Number 3, October 1990:(1990), pp. 229-234. [10.1007/BF00938686] | 1-gen-1990 | LIOY APRINETTO, 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 + | - |
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 | - |
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 | - |
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 + | - |
An Algebraic Approach to Test Generation for Sequential Circuits / Lioy, Antonio; Macii, Enrico; Meo, A. R.; SONZA REORDA, Matteo. - (1991), pp. 115-120. (Intervento presentato al convegno GLS-VLSI-91: IEEE/ACM 1st Great Lakes Symposium on VLSI tenutosi a Kalamazoo, MI) [10.1109/GLSV.1991.143952]. | 1-gen-1991 | LIOY, ANTONIOMACII, EnricoSONZA 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 + | - |