2009 | ||
---|---|---|
40 | EE | Gianpiero Cabodi, Sergio Nocco, Stefano Quer: Strengthening Model Checking Techniques With Inductive Invariants. IEEE Trans. on CAD of Integrated Circuits and Systems 28(1): 154-158 (2009) |
2008 | ||
39 | EE | Gianpiero Cabodi, Marco Murciano, Sergio Nocco, Stefano Quer: Boosting interpolation with dynamic localized abstraction and redundancy removal. ACM Trans. Design Autom. Electr. Syst. 13(1): (2008) |
2007 | ||
38 | EE | Gianpiero Cabodi, Sergio Nocco, Stefano Quer: Boosting the role of inductive invariants in model checking. DATE 2007: 1319-1324 |
2006 | ||
37 | EE | Gianpiero Cabodi, Marco Murciano, Sergio Nocco, Stefano Quer: Stepping forward with interpolants in unbounded model checking. ICCAD 2006: 772-778 |
2005 | ||
36 | EE | Gianpiero Cabodi, Marco Crivellari, Sergio Nocco, Stefano Quer: Circuit Based Quantification: Back to State Set Manipulation within Unbounded Model Checking. DATE 2005: 688-689 |
35 | EE | Gabriel P. Bischoff, Karl S. Brace, Gianpiero Cabodi, Sergio Nocco, Stefano Quer: Exploiting Target Enlargement and Dynamic Abstraction within Mixed BDD and SAT Invariant Checking. Electr. Notes Theor. Comput. Sci. 119(2): 33-49 (2005) |
34 | EE | Gianpiero Cabodi, Alex Kondratyev, Luciano Lavagno, Sergio Nocco, Stefano Quer, Yosinori Watanabe: A BMC-based formulation for the scheduling problem of hardware systems. STTT 7(2): 102-117 (2005) |
33 | EE | Gianpiero Cabodi, Sergio Nocco, Stefano Quer: Are BDDs still alive within sequential verification? STTT 7(2): 129-142 (2005) |
2004 | ||
32 | EE | Gianpiero Cabodi, Sergio Nocco, Stefano Quer: Improving SAT-based Bounded Model Checking by Means of BDD-based Approximate Traversals. J. UCS 10(12): 1696-1730 (2004) |
2003 | ||
31 | EE | Gianpiero Cabodi, Sergio Nocco, Stefano Quer: Improving SAT-Based Bounded Model Checking by Means of BDD-Based Approximate Traversals. DATE 2003: 10898-10905 |
30 | EE | Gianpiero Cabodi, Sergio Nocco, Stefano Quer, Alex Kondratyev, Luciano Lavagno, Yosinori Watanabe: A BMC-formulation for the scheduling problem in highly constrained hardware Systems. Electr. Notes Theor. Comput. Sci. 89(4): (2003) |
2002 | ||
29 | EE | Gianpiero Cabodi, Sergio Nocco, Stefano Quer: Mixing Forward and Backward Traversals in Guided-Prioritized BDD-Based Verification. CAV 2002: 471-484 |
28 | EE | Gianpiero Cabodi, Paolo Camurati, Stefano Quer: Can BDDs compete with SAT solvers on bounded model checking? DAC 2002: 117-122 |
27 | EE | Gianpiero Cabodi, Paolo Camurati, Stefano Quer: Dynamic Scheduling and Clustering in Symbolic Image Computation. DATE 2002: 150-157 |
26 | EE | Luciano Lavagno, Mihai T. Lazarescu, Stefano Quer, Sergio Nocco, Claudio Passerone, Gianpiero Cabodi: A Symbolic Approach for the Combined Solution of Scheduling and Allocation. ISSS 2002: 237-242 |
2001 | ||
25 | EE | Gianpiero Cabodi, Paolo Camurati, Stefano Quer: Biasing symbolic search by means of dynamic activity profiles. DATE 2001: 9-15 |
2000 | ||
24 | EE | Gianpiero Cabodi, Stefano Quer, Fabio Somenzi: Optimizing sequential verification by retiming transformations. DAC 2000: 601-606 |
23 | Stefano Quer, Gianpiero Cabodi, Paolo Camurati, Luciano Lavagno, Ellen Sentovich, Robert K. Brayton: Verification of Similar FSMs by Mixing Incremental Re-encoding, Reachability Analysis, and Combinational Checks. Formal Methods in System Design 17(2): 107-134 (2000) | |
22 | EE | Gianpiero Cabodi, Paolo Camurati, Stefano Quer: Improving symbolic reachability analysis by means of activityprofiles. IEEE Trans. on CAD of Integrated Circuits and Systems 19(9): 1065-1075 (2000) |
1999 | ||
21 | EE | Gianpiero Cabodi, Paolo Camurati, Stefano Quer: Improving Symbolic Traversals by Means of Activity Profiles. DAC 1999: 306-311 |
20 | EE | Valeria Bertacco, Maurizio Damiani, Stefano Quer: Cycle-Based Symbolic Simulation of Gate-Level Synchronous Circuits. DAC 1999: 391-396 |
19 | EE | Gianpiero Cabodi, Paolo Camurati, Claudio Passerone, Stefano Quer: Computing Timed Transition Relations for Sequential Cycle-Based Simulation. DATE 1999: 8-12 |
18 | EE | Gianpiero Cabodi, Paolo Camurati, Stefano Quer: Improving the efficiency of BDD-based operators by means of partitioning. IEEE Trans. on CAD of Integrated Circuits and Systems 18(5): 545-556 (1999) |
1998 | ||
17 | EE | Gianpiero Cabodi, Paolo Camurati, Stefano Quer: Auxiliary variables for BDD-based representation and manipulation of Boolean functions. ACM Trans. Design Autom. Electr. Syst. 3(3): 309-340 (1998) |
16 | EE | Luca Benini, Giovanni De Micheli, Enrico Macii, Massimo Poncino, Stefano Quer: Power optimization of core-based systems by address bus encoding. IEEE Trans. VLSI Syst. 6(4): 554-562 (1998) |
15 | Gianpiero Cabodi, Stefano Quer, Paolo Camurati: Memory Optimization in Function and Set Manipulation with BDDs. Softw., Pract. Exper. 28(1): 99-120 (1998) | |
14 | Gianpiero Cabodi, Stefano Quer, Christoph Meinel, Harald Sack, Anna Slobodová, Christian Stangier: Binary Decision Diagrams and the Multiple Variable Order Problem Universität Trier, Mathematik/Informatik, Forschungsbericht 98-22: (1998) | |
1997 | ||
13 | Gianpiero Cabodi, Paolo Camurati, Antonio Lioy, Massimo Poncino, Stefano Quer: A parallel approach to symbolic traversal based on set partitioning. CHARME 1997: 167-184 | |
12 | EE | Gianpiero Cabodi, Paolo Camurati, Luciano Lavagno, Stefano Quer: Disjunctive Partitioning and Partial Iterative Squaring: An Effective Approach for Symbolic Traversal of Large Circuits. DAC 1997: 728-733 |
11 | EE | Gianpiero Cabodi, Paolo Camurati, Luciano Lavagno, Stefano Quer: Verification and synthesis of counters based on symbolic techniques. ED&TC 1997: 176-181 |
10 | EE | Luca Benini, Giovanni De Micheli, Enrico Macii, Massimo Poncino, Stefano Quer: System-level power optimization of special purpose applications: the beach solution. ISLPED 1997: 24-29 |
1996 | ||
9 | EE | Gianpiero Cabodi, Paolo Camurati, Stefano Quer: Improved reachability analysis of large finite state machines. ICCAD 1996: 354-360 |
8 | EE | Gianpiero Cabodi, Luciano Lavagno, Enrico Macii, Massimo Poncino, Stefano Quer, Paolo Camurati, Ellen Sentovich: Enhancing FSM Traversal by Temporary Re-Encoding. ICCD 1996: 6-11 |
1995 | ||
7 | Gianpiero Cabodi, Stefano Quer, Paolo Camurati: Transforming boolean relations by symbolic encoding. CHARME 1995: 161-170 | |
6 | EE | Gianpiero Cabodi, Stefano Quer, Paolo Camurati: Computing subsets of equivalence classes for large FSMs. EURO-DAC 1995: 288-293 |
1994 | ||
5 | EE | Gianpiero Cabodi, Paolo Camurati, Stefano Quer: Auxiliary Variables for Extending Symbolic Traversal Techniques to Data Paths. DAC 1994: 289-293 |
4 | EE | Gianpiero Cabodi, Paolo Camurati, Stefano Quer: Symbolic exploration of large circuits with enhanced forward/backward traversals. EURO-DAC 1994: 22-27 |
3 | Gianpiero Cabodi, Paolo Camurati, Stefano Quer: Efficient State Space Pruning in Symbolic Backward Traversal. ICCD 1994: 230-235 | |
2 | Gianpiero Cabodi, Paolo Camurati, Stefano Quer: Detecting hard faults with combined approximate forward/backward symbolic techniques. ISCAS 1994: 299-302 | |
1 | Gianpiero Cabodi, Paolo Camurati, Stefano Quer: Full-Symbolic ATPG for Large Circuits. ITC 1994: 980-988 |