Sfoglia per Autore
A simulation-based approach to test pattern generation for synchronous circuits
1992 Camurati, Paolo Enrico; Corno, Fulvio; Prinetto, Paolo Ernesto; 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
Improved techniques for multiple stuck-at fault analysis using single stuck-at fault test sets
1992 Camurati, Paolo Enrico; Rebaudengo, Maurizio; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo
Centralized vs. distributed implementation of FSM equivalence verification on a parallel system
1992 Camurati, Paolo Enrico; Prinetto, Paolo Ernesto; Rebaudengo, Maurizio; 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
VOVHDL: A verification-oriented dialect of VHDL
1993 Camurati, Paolo Enrico; Corno, Fulvio; Prinetto, Paolo Ernesto; C., Bayol; B., Soulas
Boolean Function Decomposition in Symbolic FSM Traversal
1993 Cabodi, Gianpiero; Camurati, Paolo Enrico; Quer, Stefano
A verifiable design methodology at system-level
1993 Camurati, Paolo Enrico; Corno, Fulvio; Prinetto, Paolo Ernesto; C., Bayol; B., Soulas
System-level fault modeling and test pattern generation with process algebras
1993 Camurati, Paolo Enrico; Corno, Fulvio; Prinetto, Paolo Ernesto
Exploiting symbolic traversal techniques for efficient Process Algebra Manipulation
1993 Camurati, Paolo Enrico; Corno, Fulvio; Prinetto, Paolo Ernesto
A methodology for system-level design for verifiability
1993 Camurati, Paolo Enrico; Corno, Fulvio; Prinetto, Paolo Ernesto
Exploiting cofactoring for efficient FSM symbolic traversal based on the Transition Relation
1993 Cabodi, Gianpiero; Camurati, Paolo Enrico
An efficient tool for system-level verification of behaviors and temporal properties
1993 Camurati, Paolo Enrico; Corno, Fulvio; Prinetto, Paolo Ernesto
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
Full Symbolic ATPG for Large Circuits
1994 Cabodi, Gianpiero; Camurati, Paolo Enrico; Quer, Stefano
System-Level Modeling and Verification: a Comprehensive Design Methodology
1994 Camurati, Paolo Enrico; Corno, Fulvio; Prinetto, Paolo Ernesto; bayol, C.; soulas, B. .
Symbolic Traversals of Data Paths with Auxiliary Variables
1994 Cabodi, Gianpiero; Camurati, Paolo Enrico; Quer, Stefano
Efficient State Space Pruning in Symbolic Backward Traversal
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 Exploration of Large Circuits with Enhanced Forward/Backward Traversals
1994 Cabodi, Gianpiero; Camurati, Paolo Enrico; Quer, Stefano
Citazione | Data di pubblicazione | Autori | File |
---|---|---|---|
A simulation-based approach to test pattern generation for synchronous circuits / Camurati, Paolo Enrico; Corno, Fulvio; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo. - STAMPA. - (1992), pp. 263-267. (Intervento presentato al convegno IEEE VLSI Test Symposium) [10.1109/VTEST.1992.232763]. | 1-gen-1992 | CAMURATI, 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 + | - |
Improved techniques for multiple stuck-at fault analysis using single stuck-at fault test sets / Camurati, Paolo Enrico; Rebaudengo, Maurizio; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo. - STAMPA. - (1992), pp. 383-386. (Intervento presentato al convegno Circuits and Systems, 1992. ISCAS '92. Proceedings., 1992 IEEE International Symposium on nel 10-13 May 1992) [10.1109/ISCAS.1992.229933]. | 1-gen-1992 | CAMURATI, Paolo EnricoREBAUDENGO, MaurizioPRINETTO, Paolo ErnestoSONZA 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 | - |
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 | - |
VOVHDL: A verification-oriented dialect of VHDL / Camurati, Paolo Enrico; Corno, Fulvio; Prinetto, Paolo Ernesto; C., Bayol; B., Soulas. - STAMPA. - (1993), pp. 37-47. (Intervento presentato al convegno VFE'93: VHDL Forum for CAD in Europe: Fall '93 Meeting tenutosi a Hamburg (Germany) nel Sept 23, 1993). | 1-gen-1993 | CAMURATI, Paolo EnricoCORNO, FulvioPRINETTO, Paolo Ernesto + | - |
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 verifiable design methodology at system-level / Camurati, Paolo Enrico; Corno, Fulvio; Prinetto, Paolo Ernesto; C., Bayol; B., Soulas. - STAMPA. - (1993), pp. 364-367. (Intervento presentato al convegno ICVC93: IEEE 3rd International Conference on VLSI and CAD tenutosi a Taejon (Korea) nel Nov 1993). | 1-gen-1993 | CAMURATI, Paolo EnricoCORNO, FulvioPRINETTO, Paolo Ernesto + | - |
System-level fault modeling and test pattern generation with process algebras / Camurati, Paolo Enrico; Corno, Fulvio; Prinetto, Paolo Ernesto. - STAMPA. - (1993), pp. 47-56. (Intervento presentato al convegno ETC-93: IEEE 3rd European Test Conference tenutosi a Rotterdam (The Netherlands) nel Apr 19-22, 1993) [10.1109/ETC.1993.246534]. | 1-gen-1993 | CAMURATI, Paolo EnricoCORNO, FulvioPRINETTO, Paolo Ernesto | - |
Exploiting symbolic traversal techniques for efficient Process Algebra Manipulation / Camurati, Paolo Enrico; Corno, Fulvio; Prinetto, Paolo Ernesto. - STAMPA. - (1993), pp. 31-44. (Intervento presentato al convegno CHDL'93: 11th IFIP WG10.2 International Conference on Computer Hardware Description Languages and their Applications tenutosi a Ottawa, Ontario (Canada) nel Apr 26-28, 1993). | 1-gen-1993 | CAMURATI, Paolo EnricoCORNO, FulvioPRINETTO, Paolo Ernesto | - |
A methodology for system-level design for verifiability / Camurati, Paolo Enrico; Corno, Fulvio; Prinetto, Paolo Ernesto. - STAMPA. - 683:(1993), pp. 80-91. (Intervento presentato al convegno IFIPWG10.2 Advanced Research Working Conference, CHARME'93 tenutosi a Arles (FRA) nel May 24–26, 1993) [10.1007/BFb0021716]. | 1-gen-1993 | CAMURATI, Paolo EnricoCORNO, FulvioPRINETTO, Paolo Ernesto | - |
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 | - |
An efficient tool for system-level verification of behaviors and temporal properties / Camurati, Paolo Enrico; Corno, Fulvio; Prinetto, Paolo Ernesto. - STAMPA. - (1993), pp. 124-129. (Intervento presentato al convegno EURO-DAC '93: IEEE European Design Automation Conference, 1993, with EURO-VHDL '93 tenutosi a Hamburg (Germany) nel Sep 20-24, 1993) [10.1109/EURDAC.1993.410626]. | 1-gen-1993 | CAMURATI, Paolo EnricoCORNO, FulvioPRINETTO, Paolo Ernesto | - |
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 | - |
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 | - |
System-Level Modeling and Verification: a Comprehensive Design Methodology / Camurati, Paolo Enrico; Corno, Fulvio; Prinetto, Paolo Ernesto; bayol, C.; soulas, B. .. - STAMPA. - (1994), pp. 636-640. (Intervento presentato al convegno ED&TC 1994 : IEEE European Design and Test Conference EDAC, The European Conference on Design Automation. ETC European Test Conference. EUROASIC, The European Event in ASIC Design tenutosi a Paris (France) nel Feb 28 - Mar 03, 1994) [10.1109/EDTC.1994.326811 ]. | 1-gen-1994 | CAMURATI, Paolo EnricoCORNO, FulvioPRINETTO, Paolo Ernesto + | - |
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 | - |
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 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 | - |
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