A
Arturi
Guest
Bonjour à tous,
mon verilog Testbench a une variable qui compte le nombre d'erreurs au cours d'une simulation.Chaque fois
qu'une erreur est détectée au cours de la simulation, la variable globale est incrémenté.À la fin de la simulation, le contrôle de cette variable Testbench de décider si la simulation est un PASS ou FAIL.
Cela marche bien pour les HDL, mais pas pour dames PSL affirmations.
Comment puis-je l'augmentation de cette variable globale quand un PSL assertion incendies?
SVA soutient cette action avec les blocs.PSL a-t-il quelque chose d'équivalent?J'ai lu quelque chose sur un terminé (), mais construire ne sais pas encore comment l'utiliser.
Tout commentaire est le bienvenu.
à la vôtre
mon verilog Testbench a une variable qui compte le nombre d'erreurs au cours d'une simulation.Chaque fois
qu'une erreur est détectée au cours de la simulation, la variable globale est incrémenté.À la fin de la simulation, le contrôle de cette variable Testbench de décider si la simulation est un PASS ou FAIL.
Cela marche bien pour les HDL, mais pas pour dames PSL affirmations.
Comment puis-je l'augmentation de cette variable globale quand un PSL assertion incendies?
SVA soutient cette action avec les blocs.PSL a-t-il quelque chose d'équivalent?J'ai lu quelque chose sur un terminé (), mais construire ne sais pas encore comment l'utiliser.
Tout commentaire est le bienvenu.
à la vôtre