PORTO @ Archivio Istituzionale della Ricerca

Sfoglia per Autore  

Opzioni
Mostrati risultati da 41 a 60 di 109
Citazione Data di pubblicazione Autori File
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 -
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 + -
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 -
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 -
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 -
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 -
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
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 + -
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 -
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 -
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 -
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 -
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 -
Auxiliary Variables for BDD-based Representation and Manipulation of Boolean Functions / Cabodi, Gianpiero; Camurati, Paolo Enrico; Quer, Stefano. - In: ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS. - ISSN 1084-4309. - 3:(1998), pp. 309-340. 1-gen-1998 CABODI, GianpieroCAMURATI, Paolo EnricoQUER, Stefano -
The General Product Machine: a New Model for Symbolic FSM Traversal / Cabodi, Gianpiero; Camurati, Paolo Enrico; Corno, Fulvio; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo. - In: FORMAL METHODS IN SYSTEM DESIGN. - ISSN 0925-9856. - 12:(1998), pp. 267-289. 1-gen-1998 CABODI, GianpieroCAMURATI, Paolo EnricoCORNO, FulvioPRINETTO, Paolo ErnestoSONZA REORDA, Matteo -
Implicit Manipulation of Equivalence Classes for Large Finite State Machines / Cabodi, Gianpiero; Camurati, Paolo Enrico; Quer, Stefano. - In: IEE PROCEEDINGS. COMPUTERS AND DIGITAL TECHNIQUES. - ISSN 1350-2387. - 145:(1998), pp. 395-402. 1-gen-1998 CABODI, GianpieroCAMURATI, Paolo EnricoQUER, Stefano -
Mostrati risultati da 41 a 60 di 109
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