Ait Mohamed, Otmane
Université Concordia
Membre régulier

Description du programme de recherche

With the recent advances in silicon technology foundries, which continue to aggressively shrink the physical dimensions of silicon structures, and the advances in design technologies, which allow engineers to build larger and more complex designs, proving the correctness of such systems is becoming the higher challenge to be solved. In this research program we are interested in developing techniques and tools to enhance the utility of formal verification for analyzing and verifying large-scale systems. For instance, we are interested in the linkage between the simulation based approach and the model checking approach. By augmenting the design by a set of assertions which define the desired behavior of each block in the design, we can synthesize monitors to check the validity of the design in one hand, and derive constraints in another hand. Those constraints could be used with a model checker.

Collaboration au sein du ReSMiQ

Aboulhamid, El Mostapha - Université de Montréal
Boukadoum, Mounir - Université du Québec à Montréal
Savaria, Yvon - Polytechnique Montréal
Tahar, Sofiène - Université Concordia
Thibeault, Claude - École de technologie supérieure

Collaboration hors ReSMiQ

Al-Sammane, Ghiath- Garmen
Cerny, Eduard- Synopsys inc.
Song, Xiaoyu- Portland State University
Tan, Qingping- National Lab of Parallel Distributed Processing, Hunan, China
Debbabi, Mourad- Concordia University


Université Concordia
Département de génie Électrique et d'Informatique
1455, Boul. De Maisonneuve O. bureau EV 5-183
Montréal (Québec) H3G 1M8
Téléphone: (514) 848-2424 poste 3084
Télécopieur: (514) 848-2802
Adresse de courrier électronique: ait@ece.concordia.ca