The Hardware Verification Group (HVG) at Concordia University is a leading research lab in the Department of Electrical and Computer Engineering dedicated to developing methodologies, algorithms, and tools for the formal and semi-formal verification of hardware, embedded, and physical systems. Founded in 1996 by Dr. Sofiène Tahar, HVG conducts collaborative research projects with national and international academic and industrial partners, supported by major granting agencies and industrial sponsors.