Computer VLSI chips prevail in nearly every aspect of the daily lives of modern Europeans. The respective industry is also an integral part of the prosperity of the EU economy.Every modern electronic device (computers, phones, satellites, medical devices, automobiles, etc) contains a number of integrated circuits (or chips) comprised of hundreds of millions of nanoscale size functional elements in a very small silicon area.Due to reliability and strict time-to-market concerns, the community is challenged to design such complex devices, remain competitive and guarantee their correct functionality.This project encompasses three targets.- First, it will develop state-of-the-art automated tools to enhance the verification process by debugging errors in real industrial designs. It will also examine the possibility to commercialize these results with European industry. To do this, we collaborate with two major industrial partners, OneSpin Solutions (Infineon) in Munich and Intracom Telecom in Greece.- As such, the second target will bring closer the industry to academia and it will develop an FPGA-driven state-of-the-art laboratory to train new workforce.- As a third target, this project will assist the PI, who has a 15 years education and work experience in top places in N.America and who assumed a full-time position in a European institution, to reintegrate back with the EU research workforce and strengthen ties with European industry.