Abbrevation
DVCon
City
San Jose
Country
United States
Deadline Paper
Start Date
End Date
Abstract

The Design &amp; Verification Conference &amp; Exhibition is the premier conference on the application of languages, tools, methodologies and standards for the design and verification of electronic systems and integrated circuits&#046; The focus of this highly technical conference is on the practical aspects of these technologies and their use in leading&#8211;edge projects to encourage attendees to adopt similar techniques to improve their own design and verification flows&#046;<br>In addition to the specific topic areas suggested below, submissions may incorporate:<br>usage of Electronic Design Automation (EDA) tools such as simulation, emulation, formal verification, virtual prototyping and/or FPGA prototyping<br>FPGA&#8211;based designs<br>usage of specialized design and verification languages such as SystemVerilog, SystemC, and e<br>assertions in SVA or PSL<br>the use of general purpose and scripting languages such as C, C++, Perl, Python, Tcl and others<br>applications of the new Accellera Portable Stimulus Standard<br>applications of design patterns or other innovative language techniques<br>the use of AMS languages<br>Internet of Things applications<br>Topic Area 1: Verification &amp; Validation<br>Advanced methodologies and testbenches<br>Verification processes, regressions and resource management<br>Debug and analysis of complex designs<br>Multi&#8211;language design and verification<br>Hardware/Software co&#8211;design and co&#8211;verification of embedded systems<br>Topic Area 2: Safety&#8211;Critical Design and Verification<br>Verification and DO&#8211;254 compliance<br>Automotive ISO 26262 Design and Verification Challenges<br>Medical or Industrial Verification Challenges<br>Requirements&#8211;Driven Verification Methodologies<br>IP protection and security<br>Topic Area 3: Machine Learning and Big Data<br>Automating the Optimization of Verification Processes<br>Coverage metrics and data analysis<br>Performance modeling and/or analysis<br>Topic Area 4: Design and Verification Reuse and Automation<br>Bridging verification and validation across multiple engines<br>SoC and IP integration methods and tools<br>Automated stimulus generation methods<br>Configuration management of IP and abstraction levels<br>Interoperability of models and/or tools<br>High&#8211;level synthesis from ESL languages<br>Bridging virtual prototyping, simulation, emulation and/or FPGA prototyping<br>Topic Area 5: Mixed&#8211;Signal Design &amp; Verification<br>Mixed&#8211;signal design &amp; verification techniques<br>Real&#8211;value modeling approaches<br>Application of mixed&#8211;signal extensions for UVM<br>Topic Area 6: Low&#8211;Power Design &amp; Verification<br>Low&#8211;power design and verification<br>Clock domain crossing verification<br>Power modeling, estimation and management<br>