Cadence Design Systems, Inc.


		Research


		Research Community


		Seminars


		Directions

Upcoming Events

July

fSpice: A Boolean Satisfiability Based Approach to Formally Verifying Analog Circuits
Saurabh K. Tiwary, Anubhav Gupta, Joel R. Phillips, Claudio Pinello, and Radu Zlatanovici
Formal Verification of Analog Circuits (FAC 2008)
July 14, 2008

Invited Talk: Title TBA
Stavros Tripakis
First International Workshop on Numerical Abstractions for Software Verification (Affliated with CAV 2008)
July 8, 2008

June

Tutorial: Robust Analog and Mixed Signal Circuits
Radu Zlatanovici
45th ACM/IEEE Design Automation Conference (DAC 2008)
June 13, 2008

Generalized Krylov Recycling Methods for Solution of Multiple Related Linear Equation Systems in Electromagnetic Analysis
Zuochang Ye, Zhenhai Zhu, and Joel R. Phillips
45th ACM/IEEE Design Automation Conference (DAC 2008)
June 8 - 13, 2008

May

A Decision-Making Procedure for Resolution-Based SAT-Solvers
Eugene Goldberg
11th International Conference on Theory and Applications of Satisfiability Testing (SAT 2008)
Guangzhou, P. R. China
May 12 - 15, 2008

April

Modular Code Generation from Triggered and Timed Block Diagrams
Roberto Lublinerman and Stavros Tripakis
14th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2008)
April 22 - 24, 2008

March

Generating Quantified Invariants with an Interpolating Saturation Prover
Ken McMillan
14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2008)
March 29 - April 6, 2008

Modularity vs. Reusability: Code Generation from Synchronous Block Diagrams
Roberto Lublinerman and Stavros Tripakis
Design Automation and Test in Europe Conference and Exposition (DATE 2008)
March 10 - 14, 2008

January

On bridging simulation and formal verification
Eugene Goldberg
The Ninth International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2008)
January 7 - 9, 2008