FAC09

Formal Verification of Analog Circuits (FAC) '09

Invited Talks

Talk 1
Title: AMS Macrocells Verification today in a Challenging and Evolving Industrial Environment. Status, Activities and Trends
Speakers: Pierluigi Rolandi & Pierluigi Daglio, ST Mircoelectronics, Italy
Download the presentation [pdf1][pdf2]

Talk 2
Title: Verifying Analog Designs: Needs, Constraints and Future Challenges for Complex Analog Designs from Cells to Systems
Speakers: Philippe Raynaud & Kenneth Bakkalar, Mentor Graphics, France & USA
Download the presentation [pdf]

List of accepted papers

Paper 1
Title: DC Operating Point Analysis - A Formal Approach
Authors: M.H. Zaki, I. M. Mitchell, M. R. Greenstreet
Contact author: mzaki@cs.ubc.ca
Download the paper [pdf]
 

Paper 2
Title: Checking Heterogeneous Signal Characteristics Applying Assertion-Based Verification
Authors: St. Laemmermann, A. Jesser, M. Rathgeber, J. Ruf, L. Hedrich, Th. Kropf, W. Rosenstie
Contact author: laemmerm@informatik.uni-tuebingen.de
Download the paper [pdf]
 

Paper 3
Title: Targeting the Analog Verication Gap: State Space-based Formal Verication Approaches for Analog Circuits
Authors:S. Steinhorst, L. Hedrich
Contact author: steinhorst@em.cs.uni-frankfurt.de
Download the paper [pdf]