Posted by mike demler on July 31, 2008
In two of my recent posts, I wrote about discovering analog/mixed-signal verification topics at conferences and workshops that were previously unfamiliar to me. (Formal Verification of Analog Circuits and Other AMS Verification Research Conferences). Since one discovery often leads to another, I was compelled to do more web research to see where else AMS verification-related topics are being discussed. It turns out there is a lot of activity out there, but it is literally scattered all over the globe.
I thinks it’s time for AMS Verification to have its own conference, but in the meantime I have assembled a calendar of upcoming events that touch on the subject in some way. These conferences and workshops run the gamut from theoretical academic research to practical hands-on applications. If you are organizing or participating in any of these conferences, let me know and we can publicize it here. Also, if I have missed a conference or workshop that Analog Insights readers should know about, please let me know that as well and I will add it to the calendar.
My ideal would be to gather the growing AMS verification community together in the same way as we do for circuit design (e.g. ISSCC and CICC), and for digital verification (e.g. DVCon). Until then, I am happy to provide a virtual gathering place here. Your participation, as always, is welcomed and encouraged.
FAC – Formal Verification of Analog Circuits, a satellite workshop at CAV
CAV – The International Conference on Computer Aided Verification
The FAC workshop was held just two weeks ago, so I have not seen an announcement yet for 2009. I assume it will be in July next year, also in Princeton. Here is a partial description of FAC:
While formal verification has become part of the design process of digital circuits, its application to analog and mixed-signal design is still in its infancy… This workshop intends to bring together practitioners in circuit design and in EDA tools together with researchers in verification of discrete and hybrid systems in order to understand the problems faced by designers of analog circuits and to see what support can be provided by existing and new verification techniques.
I just found FDL in my search a few days ago. Here is the description from their website:
FDL is the premier international forum to present research results, to exchange experiences, and to learn about new trends in the application of specification, design and verification languages as well as of associated design and modeling methods and tools for integrated circuits, complex HW/SW embedded systems, and heterogeneous systems.
There was more of an AMS track in 2007, but I did find this interesting keynote talk in the upcoming agenda:
SHAPING THE ESL ECOSYSTEM FOR EMBEDDED MIXED-SIGNAL SYSTEMS
Keynote speaker: Martin Barnasconi (NXP Semiconductors)
In order to cope with the growing design complexity of embedded mixed-signal systems, and at the same time the need to shorten the design, verification and validation cycle from specification to working silicon, a solid Electronic System-Level (ESL) design approach for such systems is required. For digital oriented hardware/software systems, more and more ESL tools become available. However, for embedded mixed-signal systems, the ESL ecosystem is still in its infancy. This is very unfortunate, as most of the technologies like standards, languages and design methods are available, but often these are developed for mixed-signal applications and are not combined to enable system-design for these type of systems. This talk will present the key design technologies required for embedded mixed-signal system design and how these technologies should be combined to shape the ESL ecosystem for these systems.
BMAS – IEEE International Behavioral Modeling and Simulation Conference
The 2008 IEEE International Behavioral Modeling and Simulation Conference is a “workshop-like” conference that focuses on behavioral modeling and simulation for analog electronic circuits and systems. As such, it addresses the development and application of behavioral languages and simulators, as well modeling practices and the automatic extraction of models. The Verilog-AMS and VHDL-AMS languages are of particular interest. The conference will held in conjunction with the Custom Integrated Circuits Conference at the Doubletree Hotel in San Jose in 2008.
ICCAD – The International Conference on Computer Aided Design
ICCAD is the world’s premier conference in electronic design technology. The technical program offers high-ranked keynotes, tutorials and regular papers on the latest innovations in design technology for current and future beyond-CMOS technologies. This includes breakthrough in synthesis and physical design, mixed-signal and system design, power, variability, reliability, the impact of the new devices and materials, etc. This is complemented with designer sessions illustrating how tools and methodologies are used in the daily design practice.
ASP-DAC – Asia and South Pacific Design Automation Conference
ASP-DAC 2009 is the fourteenth annual international conference on VLSI design automation in Asia and South Pacific region, one of the most active regions of design and fabrication of silicon chips in the world. The conference aims at providing the Asian and South Pacific CAD/DA and Design community with opportunities of presenting recent advances and with forums for future directions in technologies related to Electronic Design Automation (EDA).
DVCon – Design and Verification Conference
For the last several years there has been a small session on AMS at DVCon (see AMS Verification at DVCon Parts I, II and III), though the large majority of the conference relates to digital-only.
DVCon is the premier conference on the application of languages, tools and methodologies for the design and verification of electronic systems and integrated circuits. The focus of the conference is on the usage of specialized design and verification languages such as Verilog, SystemVerilog, VHDL, … Tools and methodologies include the use of test bench automation, hardware assisted verification, hardware/ software co-verification, assertion-based and formal verification,and transaction-level system design and verification.
ETAPS – European Joint Conferences on Theory and Practice of Software
DCC – Designing Correct Circuits
DCC, which had a very small but very interesting agenda this year, is held every other year in conjunction with ETAPS, so it looks like you will have to wait until 2010 for this one.
Since 2002, after a number of DCC workshops in the 90s, the workshop has been held in conjunction with ETAPS on a biannual basis. The DCC workshop aims to bring together academic and industrial researchers in formal methods for hardware design and verification. It will allow participants to learn about the current state of the art and provide a venue for debate about how more effective methods can be developed for the real problems facing microprocessor designers and those developing System on a Chip solutions. A major aim of the workshop is to open these necessary communication channels.
The European Joint Conferences on Theory and Practice of Software (ETAPS) is the primary European forum for academic and industrial researchers working on topics relating to Software Science. ETAPS, established in 1998, is a confederation of five main annual conferences, accompanied by satellite workshops and other events.
DATE – Design, Automation & Test in Europe
DATE was known as Euro-DAC in the past; a smaller version of DAC for the European audience. However, the technical conference reflects the high interest in analog design in Europe, perhaps more so than at DAC.
The main European event bringing together designers and design automation users, researchers and vendors, as well as specialists in the hardware and software design, test and manufacturing of electronic circuits and systems. It puts strong emphasis on ICs/SoCs, reconfigurable hardware and embedded systems, including embedded software.
The IEEE International Symposium on Circuits and Systems (ISCAS) is the world’s premier networking forum of leading researchers in the highly active fields of theory, design and implementation of circuits and systems.
And last but not least…
The Design Automation Conference (DAC) is the premier event for the design of electronic circuits and systems, and for EDA and silicon solutions. DAC features a wide array of technical presentations plus over 250 of the leading electronics design suppliers.