2016 IEEE International High Level Design Validation and Test Workshop, HLDVT 2016

عنوان


2016 IEEE International High Level Design Validation and Test Workshop, HLDVT 2016


توضیحات

Welcome to the 18th IEEE International High Level Design Validation and Test Workshop (HLDVT), which explores the frontiers of research on scalable ways to achieve the modeling, validation and test of modern electronic and biological systems. The two-day HLDVT technical program includes exciting research advancing the state of the art in more traditional areas such as formal verification methods, assertions, system level simulation and automotive system verification, as well as special sessions on new areas such as the highlevel modeling and verification of biological and cyber-physical systems.