• Accueil

• Le ReSMiQ
  • À propos du ReSMiQ
  • Objectifs
  • Axes et thèmes
  • Partenaires
  • Équité, diversité et inclusion
  • Administration
  • Rapports annuels & bulletins d'information
  • Nous joindre

• Étudiants
  • S’enregistrer
  • Bourses et soutiens financiers
    • pour étudiants du 1er cycle
    • pour étudiants aux cycles supérieurs
    • pour stagiaires postdoctoraux
    • pour participation à des conférences
  • Concours d’affiches scientifiques
  • « Les diplômés, affichez-vous »
  • Opportunités de recherche
  • Offres de stages
  • Offres d’emplois
  • Cours de cycles supérieurs

• Chercheurs
  • Membres chercheurs
  • Services et infrastructures
  • Soutien financier de démarrage
  • Recrutement d'étudiants
  • Soutien financier pour chercheurs invités

• Industriels
  • Partenariat université / industrie
  • Répertoires des entreprises

• Grand Public
  • Survol
  • Projets

• Média
  • Dans les médias
  • Pour les médias

• Activités
  • Cours intensifs
  • Séminaires
  • Conferences
  • Colloques
  • 5 à 7 réseautage
  • Journée de l'innovation ReSMiQ
  • Colloque annuel ReSMiQ
  • Salon carrière des cycles supérieurs

• Nouvelles
  • Communiqués
  • Liens utiles

• Publications

• English

• Cours intensifs
• Séminaires
• Conferences
• Colloques
• 5 à 7 réseautage
• Journée de l'innovation ReSMiQ
• Colloque annuel ReSMiQ
• Salon carrière des cycles supérieurs

Titre: Incorporating Efficient Assertion Checkers into Hardware Emulation
Conférencier: Marc Boulé , McGill
Lieu: McGill , Pavillon McConnell, Salle 603
Date et heure: lundi le 28 janvier 2008 de 14:01 à 14:01

Résumé: