CABODI, Gianpiero
CABODI, Gianpiero
Dipartimento di Automatica e Informatica
001764
Experiences in Prolog based DFT rule checking
1986 Cabodi, Gianpiero; Camurati, Paolo Enrico; Prinetto, Paolo Ernesto
C_TPDL* : adapting TPDL* to concurrent simulation environments
1986 Cabodi, Gianpiero; Camurati, Paolo Enrico; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo
Fault Simulation in a Multilevel Environment: the MOZART Approach
1988 Cabodi, Gianpiero; S., Gai; M., Mezzalama; P., Montessoro; F., Somenzi
Testability measures with concurrent good simulation
1989 Cabodi, Gianpiero; 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
A Transputer-based gate-level fault simulator
1990 Cabodi, Gianpiero; S., Gai; SONZA REORDA, Matteo
TPDL*: Extended Temporal Profile Description Language
1991 Cabodi, Gianpiero; Camurati, Paolo Enrico; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo
Fast Differential Fault Simulation by Dynamic Fault Ordering
1991 Cabodi, Gianpiero; S., Gai; SONZA REORDA, Matteo
Cross-fertilizing FSM Verification Techniques and Sequential Diagnosis
1992 Cabodi, Gianpiero; Camurati, Paolo Enrico; Corno, Fulvio; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo
Sequential circuit diagnosis based on formal verification techniques
1992 Cabodi, Gianpiero; Camurati, Paolo Enrico; Corno, Fulvio; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo
Boolean Function Manipulation on Massively Parallel Computers
1992 Cabodi, Gianpiero; S., Gai; SONZA REORDA, Matteo
A new model for improving symbolic Product Machine traversal
1992 Cabodi, Gianpiero; Camurati, Paolo Enrico; Corno, Fulvio; S., Gai; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo
Exploiting cofactoring for efficient FSM symbolic traversal based on the Transition Relation
1993 Cabodi, Gianpiero; Camurati, Paolo Enrico
A Parallel System for Test Pattern Generation
1993 G. P., Balboni; Cabodi, Gianpiero; S., Gai; SONZA REORDA, Matteo
An Approach to Sequential Circuit Diagnosis Based on Formal Verification Techniques
1993 Cabodi, Gianpiero; Camurati, Paolo Enrico; Corno, Fulvio; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo
Boolean Function Decomposition in Symbolic FSM Traversal
1993 Cabodi, Gianpiero; Camurati, Paolo Enrico; Quer, Stefano
A data parallel approach to Boolean function manipulation using BDDs
1994 Cabodi, Gianpiero; Gai, Silvano; Rebaudengo, Maurizio; SONZA REORDA, Matteo
Symbolic Exploration of Large Circuits with Enhanced Forward/Backward Traversals
1994 Cabodi, Gianpiero; Camurati, Paolo Enrico; Quer, Stefano
Detecting hard faults with combined approximate forward / backwardsymbolic techniques
1994 Cabodi, Gianpiero; Camurati, Paolo Enrico; Quer, Stefano
Symbolic Traversals of Data Paths with Auxiliary Variables
1994 Cabodi, Gianpiero; Camurati, Paolo Enrico; Quer, Stefano
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 | - |
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 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 + | - |
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 + | - |
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 + | - |
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 | - |
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 | - |
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 | - |
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 | - |
Detecting hard faults with combined approximate forward / backwardsymbolic techniques / Cabodi, Gianpiero; Camurati, Paolo Enrico; Quer, Stefano. - STAMPA. - (1994), pp. 299-302. (Intervento presentato al convegno ISCAS'94: IEEE International Symposium on Circuits and Systems tenutosi a London,. UK nel May 1994) [10.1109/ISCAS.1994.408814]. | 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 | - |