HVG

Hardware Verification Group

Responsive image

Home - Hardware Verification Group

What we do

HVG in the news

"How immersion in problem solving turned Donia Chaouch into a safety-analysis entrepreneur"

Concordia NOW E-Newsletter, May 14, 2024
"I’m excited to see what life brings next"

Concordia NOW E-Newsletter, October 14, 2022
"Electrical engineering grad awarded Pakistan’s Medal of Distinction"

Concordia NOW E-Newsletter, August 22, 2022
"Student success is more gratifying than any prize"

Concordia NOW E-Newsletter, November 30, 2016
"La Verification" (Dossier technologies de l'information)

Edition: Octobre-Novembre 2009The OIQ premier magazine (PLAN)
"Ingénierie - A la traque des défaillances catastrophiques"

Edition du samedi 02 et du dimanche 03 mai 2009Version Francaise English Chinese

More about HVG

Social Events

Click on the photo above to go to our albums!

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

tahar@ece.concordia.ca

(514) 848-2424 Ext. 3114

EV16.179

othman

Dr. Otmane Ait Mohamed

ait@ece.concordia.ca

(514) 848-2424 Ext. 3084

EV16.181

Social Events

Click the image above to go to our albums!

Organized Conferences

CICM24

RESMIQ

Innovation

Books

Sponsors & Partners

Upcoming Events