Posted by mike demler on July 2, 2008
After discovering the forthcoming workshop on Formal Verification of Analog Circuits, which I wrote about here last week, I found that another small workshop was held earlier this year to address “Designing Correct Circuits”. The Seventh International Workshop on Designing Correct Circuits (DCC) was held in March 2008 in Budapest, Hungary.
Fortunately, you can download the workshop proceedings if you are interested to learn more about some of the most forward-looking work that is going on in AMS verification. I found one paper particularly interesting and relevant to the discussion we carry on here, titled Some “Real World” Problems in the Analog and Mixed Signal Domains. The authors are Kevin D Jones, Jaeha Kim, and Victor Konrad – all of Rambus. You can find slides of their presentation starting on page 59 in the DCC proceedings.
If you have been reading my earlier posts, you will know that I couldn’t agree more with the “Real World” authors when they point out that analog and digital designers exist in fundamentally different worlds, which leads to the challenge of how analog meets digital in mixed-signal verification. There is a lot that can be learned by examining how verification is practiced in the digital domain. At the same time progress will not be made if we don’t understand that some (or perhaps most?) AMS problems are fundamentally different and require the development of new approaches to increase verification productivity and robustness. (See … Because digital design is so easy! and Analog design is NOT black magic… but it is VERY hard).
I recommend downloading the DCC paper. Let me know if you come across any other interesting workshops, papers or research in the area of AMS verification and I will be sure to share it here.