PORTO @ Archivio Istituzionale della Ricerca

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 127
Citazione Data di pubblicazione Autori File
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 -
Esercizi fondamentali in Pascal / Camurati, P.; Quer, Stefano; SONZA REORDA, M.. - (1993). 1-gen-1993 QUER, StefanoM. SONZA REORDA + -
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 -
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 -
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 -
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 -
Incremental FSM Re-encoding for Simplifying Verification by Symbolic Traversal / Quer, Stefano; Cabodi, Gianpiero; Camurati, Paolo Enrico; Lavagno, Luciano; Sentovich, E. M.; Brayton, R. K.. - STAMPA. - (1995), pp. 317-327. (Intervento presentato al convegno ACM/IEEE International Workshop on Logic Synthesis (IWLS 1995) tenutosi a Lake Tahoe, California, USA nel May 1995). 1-gen-1995 QUER, StefanoCABODI, GianpieroCAMURATI, Paolo EnricoLAVAGNO, Luciano + -
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 -
Introduzione alla programmazione in linguaggio C.Nozioni fondamentali, esempi ed esercizi / Cabodi, Gianpiero; Quer, Stefano; SONZA REORDA, Matteo. - (1995). 1-gen-1995 CABODI, GianpieroQUER, StefanoSONZA REORDA, Matteo -
Transforming boolean relations by symbolic encoding / Cabodi, Gianpiero; Camurati, Paolo Enrico; Quer, Stefano. - 987:(1995), pp. 161-170. (Intervento presentato al convegno IFIP WG 10.5 Advanced Research Working Conference, CHARME '95 tenutosi a Frankfurt/Main (DEU) nel October 2–4, 1995) [10.1007/3-540-60385-9_10]. 1-gen-1995 CABODI, GianpieroCAMURATI, Paolo EnricoQUER, Stefano -
Extending Equivalence Class Computation to Large FSMs / Cabodi, Gianpiero; Camurati, Paolo Enrico; Quer, Stefano. - (1995), pp. 258-263. (Intervento presentato al convegno ICCD'95: IEEE International Conference on Computer Design tenutosi a Austin nel October 2-4 1995). 1-gen-1995 CABODI, GianpieroCAMURATI, Paolo EnricoQUER, Stefano -
Improved reachability analysis of large finite state machines / Cabodi, Gianpiero; Camurati, Paolo Enrico; Quer, Stefano. - (1996), pp. 354-360. (Intervento presentato al convegno ICCAD'96: IEEE International Conference on Computer-Aided Design tenutosi a San Jose (USA) nel November 10-14, 1996). 1-gen-1996 CABODI, GianpieroCAMURATI, Paolo EnricoQUER, Stefano -
Enhancing FSM Traversal by Temporary Re-Encoding / Cabodi, Gianpiero; Camurati, Paolo Enrico; Lavagno, Luciano; Macii, Enrico; Poncino, Massimo; Quer, Stefano; E., Sentovich. - (1996), pp. 6-11. (Intervento presentato al convegno ICCD'96: IEEE International Conference on Computer Design tenutosi a Austin nel October 1996) [10.1109/ICCD.1996.563524]. 1-gen-1996 CABODI, GianpieroCAMURATI, Paolo EnricoLAVAGNO, LucianoMACII, EnricoPONCINO, MASSIMOQUER, Stefano + -
Incremental re-encoding for symbolic traversal of product machines / Quer, Stefano; Lavagno, Luciano; Cabodi, Gianpiero; Sentovich, Ellen; Camurati, Paolo Enrico; Brayton, R. K.. - STAMPA. - (1996), pp. 158-163. (Intervento presentato al convegno Proceedings of the 1996 European Design Automation Conference with EURO-VHDL'96 and Exhibition tenutosi a Geneva (Switz.) nel 16-20 September 1996). 1-gen-1996 Quer StefanoLavagno LucianoCabodi GianpieroCamurati Paolo + eurodac1996.pdf; Incremental_re-encoding_for_symbolic_traversal_of_product_machines.pdf
Incremental FSM Re-encoding for Symbolic Traversal of Product Machines / Cabodi, Gianpiero; Camurati, Paolo Enrico; Lavagno, Luciano; Quer, Stefano; E. M., Sentovich; R. K., Brayton. - (1996). (Intervento presentato al convegno IEEE EURO-DAC'96 tenutosi a Geneva nel September 16-20 1996). 1-gen-1996 CABODI, GianpieroCAMURATI, Paolo EnricoLAVAGNO, LucianoQUER, Stefano + -
Decomposed Symbolic Forward Traversals of Large Finite States Machines / Cabodi, Gianpiero; Camurati, Paolo Enrico; Quer, Stefano. - (1996), pp. 170-175. (Intervento presentato al convegno IEEE EURO-DAC'96 tenutosi a Geneva nel September 16-20 1996). 1-gen-1996 CABODI, GianpieroCAMURATI, Paolo EnricoQUER, Stefano -
Verification and Synthesis of Counters based on Symbolic Techniques / Cabodi, Gianpiero; Camurati, Paolo Enrico; Lavagno, Luciano; Quer, Stefano. - STAMPA. - (1996). (Intervento presentato al convegno 4th International Workshop on Symbolic Methods and Applications to Circuit Design (SMACD 1996) tenutosi a Leuven Belgium nel October, 1996). 1-gen-1996 CABODI, GianpieroCAMURATI, Paolo EnricoLAVAGNO, LucianoQUER, Stefano -
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 -
Mostrati risultati da 1 a 20 di 127
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