Title

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

Medilib Journal is a reliable source of researches and researches in the field of medicine. The philosophy of journals is to preserve scientific materials and register them in the name of the author and prevent plagiarism.

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.