Responsive image

Hardware Verification Group

Responsive image
Home - Hardware Verification Group

What we do

HVG in the news

More about HVG

Who we are
  • 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.
2022
2021
2017
2016

Professors
tahar

Dr. Sofiene Tahar

(514) 848-2424 Ext. 3114

EV16.179

othman

Dr. Otmane Ait Mohamed

(514) 848-2424 Ext. 3084

EV16.181

Organized Conferences

Books

Sponsors & Partners

Upcoming Events