Sfoglia per Autore
Memory Optimization in Function and Set Manipulation with BDDs
1998 Cabodi, Gianpiero; Camurati, Paolo Enrico; Quer, Stefano
Auxiliary Variables for BDD-based Representation and Manipulation of Boolean Functions
1998 Cabodi, Gianpiero; Camurati, Paolo Enrico; Quer, Stefano
Implicit Manipulation of Equivalence Classes for Large Finite State Machines
1998 Cabodi, Gianpiero; Camurati, Paolo Enrico; Quer, Stefano
Reducing Operation Complexity in Symbolic Techniques throughPartitioning
1998 Cabodi, Gianpiero; Camurati, Paolo Enrico; Quer, Stefano
The General Product Machine: a New Model for Symbolic FSM Traversal
1998 Cabodi, Gianpiero; Camurati, Paolo Enrico; Corno, Fulvio; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo
Improving the Efficiency of BDD--based operators through Partitioning
1999 Cabodi, Gianpiero; Camurati, Paolo Enrico; Quer, Stefano
Improving Symbolic Traversals by Means of Activity Profiles
1999 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
Optimizing Sequential Verification by Retiming Transformations
2000 Cabodi, Gianpiero; Quer, Stefano; F., Somenzi
Exploiting Timed Transition Relations in Sequential Cycle-Based Simulation of Embedded Systems
2000 Cabodi, Gianpiero; Camurati, Paolo Enrico; Passerone, Claudio; Quer, Stefano
Verification of Similar FSMs by Mixing Incremental Re-encoding Reachability Analysis and Combinational Checks
2000 Quer, Stefano; Cabodi, Gianpiero; Camurati, Paolo Enrico; Lavagno, Luciano; E. M., Sentovich; R. K., Brayton
Symbolic Forward/Backward Traversals of Large Finite State Machines
2000 Cabodi, Gianpiero; Camurati, Paolo Enrico; Quer, Stefano
Improving symbolic reachability analysis by means of activity profiles
2000 Cabodi, Gianpiero; Camurati, Paolo Enrico; Quer, Stefano
Meta-BDDs: A Decomposed Representation for Layered Symbolic Manipulation of Boolean Functions
2001 Cabodi, Gianpiero
Reachability Analysis of Large Circuits Using Disjunctive Partitioning and Partial Iterative Squaring
2001 Cabodi, Gianpiero; Camurati, Paolo Enrico; Quer, Stefano
Biasing symbolic search by means of dynamic activity profiles
2001 Cabodi, Gianpiero; Camurati, Paolo Enrico; Quer, Stefano
Dynamic Scheduling and Clustering in Symbolic Image Computation
2002 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
Mixing Forward and Backward Traversals in Guided-Prioritized BDD-Based Verification
2002 Cabodi, Gianpiero; Nocco, Sergio; Quer, Stefano
A Symbolic Approach for the Combined Solution of Scheduling and Allocation
2002 Cabodi, Gianpiero; Lavagno, Luciano; Lazarescu, MIHAI TEODOR; Nocco, Sergio; Passerone, Claudio; Quer, Stefano
Citazione | Data di pubblicazione | Autori | File |
---|---|---|---|
Memory Optimization in Function and Set Manipulation with BDDs / Cabodi, Gianpiero; Camurati, Paolo Enrico; Quer, Stefano. - In: SOFTWARE-PRACTICE & EXPERIENCE. - ISSN 0038-0644. - 28:(1998), pp. 99-120. | 1-gen-1998 | CABODI, GianpieroCAMURATI, Paolo EnricoQUER, 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 | - |
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 | - |
Reducing Operation Complexity in Symbolic Techniques throughPartitioning / Cabodi, Gianpiero; Camurati, Paolo Enrico; Quer, Stefano. - STAMPA. - 6:(1998), pp. 322-325. (Intervento presentato al convegno ISCAS'98: IEEE International Symposium on Circuits and Systems tenutosi a Monterey, California, US nel June 1998) [10.1109/ISCAS.1998.705276]. | 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 | - |
Improving the Efficiency of BDD--based operators through Partitioning / Cabodi, Gianpiero; Camurati, Paolo Enrico; Quer, Stefano. - In: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS. - ISSN 0278-0070. - 18:(1999), pp. 545-556. | 1-gen-1999 | CABODI, GianpieroCAMURATI, Paolo EnricoQUER, Stefano | - |
Improving Symbolic Traversals by Means of Activity Profiles / Cabodi, Gianpiero; Camurati, Paolo Enrico; Quer, Stefano. - (1999), pp. 306-311. (Intervento presentato al convegno DAC-36: 36th ACM/IEEE Design Automation Conference tenutosi a New Orleans (USA) nel June 1999). | 1-gen-1999 | 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 | - |
Optimizing Sequential Verification by Retiming Transformations / Cabodi, Gianpiero; Quer, Stefano; F., Somenzi. - (2000), pp. 601-606. (Intervento presentato al convegno DAC--37: 37st ACM/IEEE Design Automation Conference tenutosi a Los Angeles, USA nel June). | 1-gen-2000 | CABODI, GianpieroQUER, Stefano + | - |
Exploiting Timed Transition Relations in Sequential Cycle-Based Simulation of Embedded Systems / Cabodi, Gianpiero; Camurati, Paolo Enrico; Passerone, Claudio; Quer, Stefano. - In: IEE PROCEEDINGS. COMPUTERS AND DIGITAL TECHNIQUES. - ISSN 1350-2387. - 147:(2000), pp. 305-312. [10.1049/ip-cdt:20000684] | 1-gen-2000 | CABODI, GianpieroCAMURATI, Paolo EnricoPASSERONE, ClaudioQUER, Stefano | - |
Verification of Similar FSMs by Mixing Incremental Re-encoding Reachability Analysis and Combinational Checks / Quer, Stefano; Cabodi, Gianpiero; Camurati, Paolo Enrico; Lavagno, Luciano; E. M., Sentovich; R. K., Brayton. - In: FORMAL METHODS IN SYSTEM DESIGN. - ISSN 0925-9856. - 17:2(2000), pp. 107-134. [10.1023/A:1008748802907] | 1-gen-2000 | QUER, StefanoCABODI, GianpieroCAMURATI, Paolo EnricoLAVAGNO, Luciano + | - |
Symbolic Forward/Backward Traversals of Large Finite State Machines / Cabodi, Gianpiero; Camurati, Paolo Enrico; Quer, Stefano. - In: JOURNAL OF SYSTEMS ARCHITECTURE. - ISSN 1383-7621. - 46:(2000), pp. 1137-1158. | 1-gen-2000 | CABODI, GianpieroCAMURATI, Paolo EnricoQUER, Stefano | - |
Improving symbolic reachability analysis by means of activity profiles / Cabodi, Gianpiero; Camurati, Paolo Enrico; Quer, Stefano. - In: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS. - ISSN 0278-0070. - 19:(2000), pp. 1065-1075. | 1-gen-2000 | CABODI, GianpieroCAMURATI, Paolo EnricoQUER, Stefano | - |
Meta-BDDs: A Decomposed Representation for Layered Symbolic Manipulation of Boolean Functions / Cabodi, Gianpiero. - 2102:(2001), pp. 118-130. (Intervento presentato al convegno Computer Aided Verification 13th International Conference, CAV 2001 tenutosi a Paris (FRA) nel July 18–22, 2001) [10.1007/3-540-44585-4_11]. | 1-gen-2001 | CABODI, Gianpiero | - |
Reachability Analysis of Large Circuits Using Disjunctive Partitioning and Partial Iterative Squaring / Cabodi, Gianpiero; Camurati, Paolo Enrico; Quer, Stefano. - In: JOURNAL OF SYSTEMS ARCHITECTURE. - ISSN 1383-7621. - 47:(2001), pp. 163-179. | 1-gen-2001 | 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 | - |
Dynamic Scheduling and Clustering in Symbolic Image Computation / Cabodi, Gianpiero; Camurati, Paolo Enrico; Quer, Stefano. - (2002), pp. 150-156. (Intervento presentato al convegno DATE'02: IEEE Design Automation and Test in Europe tenutosi a Paris (F) nel March 2002). | 1-gen-2002 | 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 | - |
Mixing Forward and Backward Traversals in Guided-Prioritized BDD-Based Verification / Cabodi, Gianpiero; Nocco, Sergio; Quer, Stefano. - LNCS 2404:(2002), pp. 471-484. [10.1007/3-540-45657-0_38] | 1-gen-2002 | CABODI, GianpieroNOCCO, SERGIOQUER, Stefano | - |
A Symbolic Approach for the Combined Solution of Scheduling and Allocation / Cabodi, Gianpiero; Lavagno, Luciano; Lazarescu, MIHAI TEODOR; Nocco, Sergio; Passerone, Claudio; Quer, Stefano. - ELETTRONICO. - (2002), pp. 237-242. (Intervento presentato al convegno ISSS'02: ACM/IEEE International Symposium of System Synthesis tenutosi a Kyoto, Japan nel 2-4 ottobre 2002) [10.1145/581199.581252]. | 1-gen-2002 | CABODI, GianpieroLAVAGNO, LucianoLAZARESCU, MIHAI TEODORNOCCO, SERGIOPASSERONE, ClaudioQUER, Stefano | scheduling.pdf |
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