Arturi
Присъединил се: 13 Сеп 2006
Мнения: 51
Подпомогнат: 4
|  30 юни, 2009 23:04 PSL еквивалент за SVA действие блок | | |
|
| Здравейте всички,
Ми verilog testbench има глобални променливи, които се брои броя на грешките по време на симулация. Всеки път, когато грешката е открита по време на симулация глобалната променлива получава нарастващ. В края на симулация на testbench проверки тази променлива да се реши, ако симулация е PASS или се провалят.
Това работи добре за HDL дама, но не и за PSL твърдения.
Как мога да диференциал тази глобална променлива, когато PSL твърдение пожари?
SVA подкрепя това с действията блокове. Има ли нещо, PSL е еквивалент? Четох нещо за приключваща () изгражда, но все още не сте сигурни как да го използвам.
Всяко мнение е добре дошъл.
наздравици |
|
