HVG (Hardware Verification Group) is one of the several research labs in the department of Electrical and Computer Engineering in Concordia University. HVG mission is the development of methodologies, algorithms and tools for the formal and semi-formal verification of hardware, embedded and physical systems. HVG was founded in 1996 by Prof. Sofiène Tahar and is currently composed of more than 20 members. HVG conducted several projects in collaboration with national and international industry and academic partners. HVG research is funded by various national granting agencies and sponsored by several local and international industries.