Analog Simulation Insights


Additions to the conference calendar for AMS Verification

Hi all,

The list of conferences and workshops that have included content relating to AMS verification keeps growing. I am looking for a good way to compile all of the dates and events into a more usable calendar, but in the mean time I will let you know about them here.

Scott Little added a comment on the blog recently, bringing to my attention the conference on Formal Methods in Computer Aided Design (FMCAD), which will be held in Portland, Oregon on November 17-20 this year. FMCAD focuses on “the theory and applications of formal methods in hardware and system verification”. While I don’t see any topics on this year’s agenda that strike me as AMS-oriented, the 2007 FMCAD program had an interesting AMS paper:

  • Combining Symbolic Simulation and Interval Arithmetic for the Verification of AMS Designs, by Mohamed H. Zaki, Ghiath Al-Sammane, Sofiéne Tahar from the department of Electrical & Computer Engineering at Concordia University in Montreal, Canada and Guy Bois from Ecole Polytechnique de Montreal.

If you have access to IEEE Xplore you can find the paper online.

I also found that the recent (July 23-26) VLSI Design And Test Symposium (VDAT-2008) in Bangalore, India had an interesting AMS session. The goal of VDAT is “to promote Research and Development on all aspects of VLSI in India“. The work presented there is definitely of interest globally. As Thomas Friedman said, “The world is flat“! You can check out the program for VDAT-2008 online. The Analog-4 session actually had two papers (one is missing online):

  1. Mode Based Functional Partitioning of Design Intent for Behavioral Modeling of Large AMS Circuits by Rajdeep Mukhopadhyay, Antara Ain, Subrat K Panda, Pallab Dasgupta, Siddhartha Mukhopadhyay, from IIT Kharagpur, India and and John Gough of National Semiconductor (UK)
  2. Macromodel based Fault simulation of Opamp using Parameters Estimation by Kiran Kumar Garje, Srikanth Pam, Amitava Banerjee, Santosh Biswas, and Siddhartha Mukhopadhyay of IIT Kharagpur.

Let me know if you have more additions to share with the rapidly growing AMS verification community.


  • Print
  • Digg
  • Facebook
  • Google Bookmarks
  • LinkedIn
  • RSS
  • Twitter