Homepage

• 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 and embedded systems.
• HVG was founded in 1996 by Prof. Sofiène Tahar and is currently composed of more than 20 members. HVG is now a Research Unit of Concordia University.
• 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.

Click the image above to go to our albums!

Partners

Organized Conferences