Les tenants et les aboutissants de l'assertion dans la vérification des signaux mixtes
Introduction La vérification basée sur les assertions (ABV) est une approche de vérification puissante qui s'est avérée utile pour aider à la mise en place d'un système de gestion de la qualité.