PORTO @ Archivio Istituzionale della Ricerca

Sfoglia per Autore  

Opzioni
Mostrati risultati da 21 a 40 di 139
Citazione Data di pubblicazione Autori File
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 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 -
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 + -
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 -
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 -
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 + -
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
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 -
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 -
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 -
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 + -
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 -
Disjunctive Partitioning And Partial Iterative Squaring: An Effective Approach For Symbolic Traversal Of Large Circuits / Cabodi, Gianpiero; Camurati, Paolo Enrico; Lavagno, Luciano; Quer, Stefano. - (1997), pp. 728-733. (Intervento presentato al convegno Proceedings of the 34th Design Automation Conference) [10.1109/DAC.1997.597241]. 1-gen-1997 CABODI, GianpieroCAMURATI, Paolo EnricoLAVAGNO, LucianoQUER, Stefano -
Symbolic FSM Traversal based on the Transition Relation / Cabodi, Gianpiero; Camurati, Paolo Enrico. - In: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS. - ISSN 0278-0070. - 16:(1997), pp. 448-457. 1-gen-1997 CABODI, GianpieroCAMURATI, Paolo Enrico -
Verification and synthesis of counters based on symbolic techniques / Cabodi, Gianpiero; Camurati, Paolo Enrico; Lavagno, Luciano; Quer, Stefano. - (1997), pp. 176-181. (Intervento presentato al convegno Proceedings European Design and Test Conference. ED & TC 97) [10.1109/EDTC.1997.582355]. 1-gen-1997 CABODI, GianpieroCAMURATI, Paolo EnricoLAVAGNO, LucianoQUER, Stefano -
Binary Decision Diagrams and the Multiple Variable Order Problem / Cabodi, Gianpiero; Quer, Stefano; Meinel, C.; Sack, H.; Slobodova, A.; Stangier, C.. - STAMPA. - (1998). (Intervento presentato al convegno IEEE/ACM International Workshop on Logic Synthesis (IWLS 1998) tenutosi a Lake Tahoe, California, USA nel June 1998). 1-gen-1998 CABODI, GianpieroQUER, Stefano + -
Efficient Computation of Timed Transition Relations / Cabodi, Gianpiero; Camurati, Paolo Enrico; Lavagno, Luciano; Quer, Stefano. - STAMPA. - (1998). (Intervento presentato al convegno IEEE/ACM International Workshop on Logic Synthesis (IWLS 1998) tenutosi a Lake Tahoe, California, USA nel June 1998). 1-gen-1998 CABODI, GianpieroCAMURATI, Paolo EnricoLAVAGNO, LucianoQUER, Stefano -
Mostrati risultati da 21 a 40 di 139
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