VLSI/CAD RESEARCH GROUP  -  UNIVERSITY OF COLORADO AT BOULDER Home | Contact | People | Research | Publications | Downloads | Intranet By Year |  By Area

 

...   1993   1994   1995   1996   1997   1998   1999   2000   2001   2002   2003   2004   2005   2006   2007   2008   2009   2010   2008 S. Sohail, F. Somenzi and K. Ravi  A Hybrid Algorithm for LTL Games Verification, Model Checking, and Abstract Interpretation (VMCAI'08) 2004 K. Ravi and F. Somenzi  Minimal Satisfying Assignments for Conjunctive Normal Form Formulae Tools and Algorithms for the Construction and Analysis of Systems (TACAS'04) C. Wang, H. Jin, G. D. Hachtel and F. Somenzi Refining the SAT decision ordering for Bounded Model Checking 41st Design Automation Conference (DAC'04) 2003 N. Jayakumar, M. Purandar and F. Somenzi  Dos and Don'ts of CTL State Coverage Estimation 40th Design Automation Conference (DAC'03) B. Li, C. Wang, F. Somenzi A Satisfiability-based Approach to Abstraction Refinement in Model Checking First International Workshop on Bounded Model Checking (BMC’03)  S. Gurumurthy, F. Somenzi, O. Kupferman and M. Y. Vardi On Complementing Nondeterministic Buechi Automata (to appear) Advanced Research Working Conference on Correct Hardware Design and Verification Methods C. Wang, B. Li, H. Jin, G. D. Hachtel and F. Somenzi Improving Ariadne's Bundle by Following Multiple Threads in Abstraction Refinement International Conference on Computer Aided Design (ICCAD’03) C. Wang, G. D. Hachtel and F. Somenzi The Compositional Far Side of Image Computation International Conference on Computer Aided Design (ICCAD’03) 2002 H. Jin, A. Kuehlmann and F. Somenzi  Fine-Grain Conjunction Scheduling for Symbolic Reachability Analysis Tools and Algorithms for the Construction and Analysis of Systems (TACAS'02) H. Jin, K. Ravi and F. Somenzi  Fate and Free Will in Error Traces Tools and Algorithms for the Construction and Analysis of Systems (TACAS'02) M. Purandare and F. Somenzi  Vacuum cleaning CTL formulae 14th International Conference on Computer Aided Verification (CAV'02) S. Gurumurthy, R. Bloem and F. Somenzi  Fair Simulation Minimization 14th International Conference on Computer Aided Verification (CAV'02) C. Wang, G.D. Hachtel  Sharp Disjunctive Decomposition for Language Emptiness Checking 4th International Conference on Formal Methods in Computer-Aided Design (FMCAD'02) F. Somenzi, K. Ravi and R. Bloem  Analysis of Symbolic SCC Hull Algorithm 4th International Conference on Formal Methods in Computer-Aided Design (FMCAD'02) 2001 C. Wang, R. Bloem, G.D. Hachtel, K.Ravi and F. Somenzi  Divide and Compose: SCC Refinement for Language Emptiness. International Conference on Concurrency Theory (CONCUR'01) 2000 F. Somenzi and R. Bloem  Efficient Büchi automata from LTL formulae 12th International Conference on Computer Aided Verification (CAV'00) R. Bloem, K. Ravi. and F. Somenzi  Symbolic guided search for CTL model checking. 37th Design Automation Conference (DAC'00)  In-Ho Moon, James Kukula, Kavita Ravi, Fabio Somenzi  To split or to Conjoin: The Question in Image Computation. 37th Design Automation Conference (DAC'00)  K. Ravi, R. Bloem, and F. Somenzi  A comparative study of symbolic algorithms for the computation of fair cycles. 3th International Conference on Formal Methods in Computer Aided Design (FMCAD'00) R. Bloem, H.N. Gabow, and F. Somenzi  An algorithm for strongly connected component analysis in n log n symbolic steps. 3th International Conference on Formal Methods in Computer Aided Design (FMCAD'00) In-Ho Moon, Gary Hachtel, Fabio Somenzi  Border-Block Triangular Form and Conjunction Schedule in Image Computation. 3th International Conference on Formal Methods in Computer Aided Design (FMCAD'00) Roderick Bloem, In-Ho Moon, Kavita Ravi, Fabio Somenzi  Approximations for Fixpoint Computations in Symbolic Model Checking. Systemics, Cybernetics and Informatics, Orlando, FL, July 23-26, 2000.  Jae-Young Jang, In-Ho Moon, Gary Hachtel  Iterative Abstraction-based CTL Model Checking. Design, Automation & Test In Europe, Paris, France, March 27-30, 2000.  1999 R.Bloem, K.Ravi, F.Somenzi  Efficient Decision Procedures for Model Checking of Linear Time Logic Properties. 11th International Conference on Computer Aided Verification (CAV'99) K. Ravi, and F.Somenzi  Efficient Fixpoint Computation for Invariant Checking International Conference on Computer Design (ICCD'99) In-Ho Moon, James Kukula, Tom Shiple, Fabio Somenzi  Least Fixpoint Approximations for Reachability Analysis. International Conference on Computer Aided Design (ICCAD'99) In-Ho Moon, James Kukula, Tom Shiple, Fabio Somenzi  Least Fixpoint MBM: Improved Technique for Approximate Reachability. International Workshop on Logic Synthesis (IWLS'99) Jae-Young Jang, In-Ho Moon, Gary Hachtel  Iterative Verification Techniques for CTL Model Checking. International Workshop on Logic Synthesis (IWLS'99) 1998 In-Ho Moon, Jae-Young Jang, Gary Hachtel, Fabio Somenzi, Jun Yuan, Carl Pixley  Approximate Reachability Don't Cares for CTL Model Checking. International Conference on Computer Aided Design (ICCAD'98) K. Ravi, K.L.McMillan, T.R.Shiple and F.Somenzi.  Approximation and Decomposition of Binary Decision Diagrams Design Automation Conference (DAC'98) Abelardo Pardo and Gary Hachtel.  Incremental CTL Model Checking Using BDD Subsetting. Design Automation Conference (DAC'98) 1997 Iris Bahar, E. Frohm, C. Gaona, Gary Hachtel, Enrico Macii, Abelardo Pardo and Fabio Somenzi.  Algebraic Decision Diagrams and their Applications Journal of Formal Methods in System Design, Volume 10, Number 2/3, April/May 1997. S. Manne, D. Grunwald and F. Somenzi  Remembrances of Things Past: Locality and Memory in BDDs. Design Automation Conference (DAC'97) Balakrishna Kumthekar, In-Ho Moon, Fabio Somenzi  A Symbolic Algorithm For Low Power Sequential Synthesis. International Symposium on Low Power Electronics and Design (ISLPED'97)  Abelardo Pardo and Gary Hachtel.  Automatic Abstraction Techniques for Propositional µ-calculus Model Checking. 9th International Conference on Computer Aided Verification (CAV'97) 1996  Gary D. Hachtel, Enrico Macii, Abelardo Pardo, and Fabio Somenzi.  Markovian Analysis of Large Finite State Machines. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. Vol 15, No 12, Dec 1996, pp. 1479-1493. Kavita Ravi, Abelardo Pardo, Gary Hachtel and Fabio Somenzi.  Modular Verification of Multipliers. International Conference on Formal Methods for Computer-aided Design (FMCAD'96)  R.K. Brayton, A. Sangiovanni-Vincentelli, A. Aziz, S.-T. Cheng, S. Edwards, S. Khatri, Y. Kukimoto, S. Qadeer, R.K. Ranjan, T. R. Shiple, G. Swamy, T. Villa, G. D. Hachtel, F. Somenzi, Abelardo Pardo and S. Sarwary.  VIS: A System for Verification and Synthesis. 8th International Conference on Computer Aided Verification (CAV'96) R.I. Bahar, M. Burns, G.D. Hachtel, E. Macii, H. Shin and F. Somenzi  Symbolic Computation of Logic Implications for Technology-Dependent Low-Power Synthesis International Symposium on Low Power Electronics and Design (ISLPED'96) 1995 K.Ravi and F.Somenzi.  High Density Reachability Analysis.  International Conference on Computer Aided Design, (ICCAD'95) R.I. Bahar and F. Somenzi  Boolean Techniques for Low Power Driven Re-synthesis International Conference on Computer Aided Design, (ICCAD'95) S. Manne, A. Pardo, R. I. Bahar, G. D. Hachtel and F. Somenzi  Computing the Maximum Power Cycles of a Sequential Circuit. Design Automation Conference (DAC'95) A. Pardo, R. I. Bahar, S. Manne, G. D. Hachtel and F. Somenzi  CMOS Dynamic Power Estimation Based on Collapsible Current Transistor Modeling. International Symposium on Low Power Design, 1995  H.Cho, G.D.Hachtel, E.Macii, M.Poncino, K.Ravi and F.Somenzi  Approximate Finite State Machine Traversal: Extensions and New Results  International Workshop on Logic Synthesis (IWLS'95) 1994 Gary Hachtel, Enrico Macii, Abelardo Pardo and Fabio Somenzi.  Probabilistic Analysis of Large Finite State Machines. Design Automation Conference (DAC'94) R.I. Bahar, G.D. Hachtel, E. Macii, F. Somenzi  A Symbolic Method to Reduce Power Consumption of Circuits Containing False Paths International Conference on Computer Aided Design, (ICCAD'94) Gary Hachtel, Mariano Hermida, Abelardo Pardo, Massimo Poncino and Fabio Somenzi.  Re-Encoding Sequential Circuits to Reduce Power Dissipation. International Conference on Computer Aided Design, (ICCAD'94) R.I. Bahar, H. Cho, G. D. Hachtel, E. Macii, F. Somenzi  An Application of ADD-Based Timing Analysis to Combinational Low Power Re-Synthesis ACM/IEEE International Workshop on Low Power Design, Napa, CA, April 1994. R.I. Bahar, H. Cho, G. D. Hachtel, E. Macii, F. Somenzi  Timing Analysis of Combinational Circuits Using ADD's EEE European Conference on Design Automation, Paris, France, February 1994. Iris Bahar, Gary Hachtel, Enrico Macii, Abelardo Pardo, Massimo Poncino and Fabio Somenzi.  An ADD Based Algorithm for Shortest Path Back-Tracing of Large Graphs. VLSI Great Lakes Symposium. 1994. Gary Hachtel, Enrico Macii, Abelardo Pardo and Fabio Somenzi.  Symbolic Algorithms to Calculate Steady-State Probabilities of a Finite State Machine. EDAC'94. Paris, France. Gary Hachtel, Mariano Hermida, Abelardo Pardo, Massimo Poncino and Fabio Somenzi.  Re-Encoding Sequential Circuits to Reduce Power Dissipation International Workshop on Low Power Design, Napa Valley, CA, 1994. 1993  Iris Bahar, E. Frohm, C. Gaona, Gary Hachtel, Enrico Macii, Abelardo Pardo and Fabio Somenzi.  Algebraic Decision Diagrams and their Applications International Conference on Computer Aided Design, (ICCAD'93)