The Design & Verification Conference & 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. The focus of this highly technical conference is on the practical aspects of these technologies and their use in leading–edge projects to encourage attendees to adopt similar techniques to improve their own design and verification flows.<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–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 & Validation<br>Advanced methodologies and testbenches<br>Verification processes, regressions and resource management<br>Debug and analysis of complex designs<br>Multi–language design and verification<br>Hardware/Software co–design and co–verification of embedded systems<br>Topic Area 2: Safety–Critical Design and Verification<br>Verification and DO–254 compliance<br>Automotive ISO 26262 Design and Verification Challenges<br>Medical or Industrial Verification Challenges<br>Requirements–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–level synthesis from ESL languages<br>Bridging virtual prototyping, simulation, emulation and/or FPGA prototyping<br>Topic Area 5: Mixed–Signal Design & Verification<br>Mixed–signal design & verification techniques<br>Real–value modeling approaches<br>Application of mixed–signal extensions for UVM<br>Topic Area 6: Low–Power Design & Verification<br>Low–power design and verification<br>Clock domain crossing verification<br>Power modeling, estimation and management<br>
Abbrevation
DVCon
City
San Jose
Country
United States
Deadline Paper
Start Date
End Date
Abstract