Home CU
VLSI/CAD RESEARCH GROUP  -  UNIVERSITY OF COLORADO AT BOULDER
Home | Contact | People | Research | Publications | Downloads | Intranet
By YearBy 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)

 

 
ECE Department | University of Colorado | Boulder Community | Webmaster

Last Revision: