Archivio Istituzionale della RicercaCAMURATI, Paolo Enrico
CAMURATI, Paolo Enrico
Dipartimento di Automatica e Informatica
001895
A 7/2-approximation algorithm for the Maximum Duo-Preservation String Mapping Problem
2016 Boria, Nicolas; Cabodi, Gianpiero; Camurati, Paolo Enrico; Palena, Marco; Pasini, Paolo; Quer, Stefano
A diagnostic test pattern generation algorithm
1990 Camurati, Paolo Enrico; Medina, D.; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo
A methodology for system-level design for verifiability
1993 Camurati, Paolo Enrico; Corno, Fulvio; Prinetto, Paolo Ernesto
A new algorithm for diagnosis-oriented automatic test pattern generation
1990 Camurati, Paolo Enrico; Medina, D.; 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
A Parallel Approach to Symbolic Traversal Based on Set Partitioning
1997 Cabodi, Gianpiero; Camurati, Paolo Enrico; Lioy, Antonio; Poncino, M.; Quer, Stefano
A simulation-based approach to test pattern generation for synchronous circuits
1992 Camurati, Paolo Enrico; Corno, Fulvio; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo
A verifiable design methodology at system-level
1993 Camurati, Paolo Enrico; Corno, Fulvio; Prinetto, Paolo Ernesto; C., Bayol; B., Soulas
An efficient tool for system-level verification of behaviors and temporal properties
1993 Camurati, Paolo Enrico; Corno, Fulvio; Prinetto, Paolo Ernesto
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 industrial experience in the built-in self test of embedded RAM
1994 Camurati, Paolo Enrico; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo; barbagallo, S.; burri, A.; medina, D.
Automated Abstraction by Incremental Refinement in Interpolant-based Model Checking
2008 Cabodi, Gianpiero; Camurati, Paolo Enrico; Murciano, Marco
Auxiliary variables for extending symbolic traversal techniques to data paths
1994 Cabodi, Gianpiero; Camurati, Paolo Enrico; Quer, Stefano
Biasing symbolic search by means of dynamic activity profiles
2001 Cabodi, Gianpiero; Camurati, Paolo Enrico; Quer, Stefano
Boolean Function Decomposition in Symbolic FSM Traversal
1993 Cabodi, Gianpiero; Camurati, Paolo Enrico; Quer, Stefano
Can BDDs compete with SAT solvers on Bounded Model Checking?
2002 Cabodi, Gianpiero; Camurati, Paolo Enrico; Quer, Stefano
Centralized vs. distributed implementation of FSM equivalence verification on a parallel system
1992 Camurati, Paolo Enrico; Prinetto, Paolo Ernesto; Rebaudengo, Maurizio; SONZA REORDA, Matteo
Comparing ATPGs for synchronous sequential circuits
1991 Camurati, Paolo Enrico; Gilli, Marco; Meo, ANGELO RAFFAELE; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo
Computing Subsets of Equivalence Classes for Large FSMs
1995 Cabodi, Gianpiero; Camurati, Paolo Enrico; Quer, Stefano
Computing Timed Transition Relations for Sequential cycle-based simulation
1999 Cabodi, Gianpiero; Camurati, Paolo Enrico; Passerone, Claudio; Quer, Stefano
| Citazione | Data di pubblicazione | Autori | File |
|---|---|---|---|
| A 7/2-approximation algorithm for the Maximum Duo-Preservation String Mapping Problem / Boria, Nicolas; Cabodi, Gianpiero; Camurati, Paolo Enrico; Palena, Marco; Pasini, Paolo; Quer, Stefano. - ELETTRONICO. - (2016). (Intervento presentato al convegno 27th Annual Symposium on Combinatorial Pattern Matching tenutosi a Tel Aviv, Israel nel June 27 - 29, 2016). | 1-gen-2016 | BORIA, NICOLASCABODI, GianpieroCAMURATI, Paolo EnricoPALENA, MARCOPASINI, PAOLOQUER, Stefano | - |
| 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 + | - |
| 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 | - |
| 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 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 + | - |
| A Parallel Approach to Symbolic Traversal Based on Set Partitioning / Cabodi, Gianpiero; Camurati, Paolo Enrico; Lioy, Antonio; Poncino, M.; Quer, Stefano. - (1997). (Intervento presentato al convegno CHARME’97: Correct Hardware Methodologies). | 1-gen-1997 | CABODI, GianpieroCAMURATI, Paolo EnricoLIOY, ANTONIOM. PoncinoQUER, Stefano | - |
| 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 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 + | - |
| 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 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 industrial experience in the built-in self test of embedded RAM / Camurati, Paolo Enrico; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo; barbagallo, S.; burri, A.; medina, D.. - STAMPA. - (1994), pp. 306-311. (Intervento presentato al convegno VTS 1994 : IEEE 12th VLSI Test Symposium tenutosi a Cherry Hill, NJ (USA) nel Apr 25-28, 1994) [10.1109/VTEST.1994.292296 ]. | 1-gen-1994 | CAMURATI, Paolo EnricoPRINETTO, Paolo ErnestoSONZA REORDA, Matteo + | - |
| Automated Abstraction by Incremental Refinement in Interpolant-based Model Checking / Cabodi, Gianpiero; Camurati, Paolo Enrico; Murciano, Marco. - STAMPA. - (2008), pp. 129-136. (Intervento presentato al convegno ICCAD'08: IEEE/ACM International Conference on Computer Aided Design tenutosi a San Jose nel 10-13 nov 2008). | 1-gen-2008 | CABODI, GianpieroCAMURATI, Paolo EnricoMURCIANO, MARCO | - |
| Auxiliary variables for extending symbolic traversal techniques to data paths / Cabodi, Gianpiero; Camurati, Paolo Enrico; Quer, Stefano. - (1994), pp. 289-293. (Intervento presentato al convegno DAC-31: 31st ACM/IEEE Desing Automation Conference tenutosi a San Diego nel June 1994). | 1-gen-1994 | CABODI, GianpieroCAMURATI, Paolo EnricoQUER, Stefano | - |
| Biasing symbolic search by means of dynamic activity profiles / Cabodi, Gianpiero; Camurati, Paolo Enrico; Quer, Stefano. - (2001), pp. 09-15. (Intervento presentato al convegno DATE'01: IEEE Design Automation and Test in Europe tenutosi a Munich nel march 2001). | 1-gen-2001 | CABODI, GianpieroCAMURATI, Paolo EnricoQUER, Stefano | - |
| 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 | - |
| Can BDDs compete with SAT solvers on Bounded Model Checking? / Cabodi, Gianpiero; Camurati, Paolo Enrico; Quer, Stefano. - (2002), pp. 117-122. (Intervento presentato al convegno DAC'39: 39th ACM/IEEE Design Automation Conference tenutosi a New Orleans (USA) nel June 2002). | 1-gen-2002 | CABODI, GianpieroCAMURATI, Paolo EnricoQUER, Stefano | - |
| 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 | - |
| 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 | - |
| Computing Subsets of Equivalence Classes for Large FSMs / Cabodi, Gianpiero; Camurati, Paolo Enrico; Quer, Stefano. - (1995), pp. 288-293. (Intervento presentato al convegno IEEE EURO-DAC'95 tenutosi a Brighton (UK) nel September 18-22 1995). | 1-gen-1995 | CABODI, GianpieroCAMURATI, Paolo EnricoQUER, Stefano | - |
| Computing Timed Transition Relations for Sequential cycle-based simulation / Cabodi, Gianpiero; Camurati, Paolo Enrico; Passerone, Claudio; Quer, Stefano. - (1999), pp. 8-12. (Intervento presentato al convegno IEEE Design, Automation and Test in Europe tenutosi a Munich, Germany nel March 9-12, 1999). | 1-gen-1999 | CABODI, GianpieroCAMURATI, Paolo EnricoPASSERONE, ClaudioQUER, Stefano | - |