On November 14, Armenia hosted the Microelectronics International Forum for the first time, organized by the Union of Employers of ICT within the framework of the Microelectronics International Olympiad. The forum brought together leading professionals and company executives in the field of microelectronics, both from abroad and from Armenia. They spoke about key directions and development trends in microelectronics, including: Digital integrated circuit (IC) design and testing Design and testing of analog and mixed-signal chips Semiconductor devices and technologies Mathematical and algorithmic challenges of Electronic Design Automation (EDA) In the frames of forum Hayk Petrosyan, Verification Lead at Inttegral Solutions, delivered a presentation on the topic of Hardware Assisted Verification.