твърдение основава на методологията и инструмент потребителя ръчно

[saho]

Привет.

Аз съм се интересуват от обучение и работа с твърдението (PSL, SystemVerilog) на моята следваща проверка проект.

Можете ли да споделите с мен вашия успех история (не от инструмента продавач!)

 

[Andromeda]

Вие все още може да се консултира Фостър книгата за твърдения (и забравят, че той работи за Verplex), то е повече или по-малко полезни.
За съжаление ние използваме asertions в много limitted начин (не е твърдение, базирани дизайн, но само някои протокол шпиони и други подобни неща в теста среда).Тя ни спестява много време somethimes, но ние нямаме много от тях, така че не са фалшиви пожари и симулация бавно надолу, не съществуват.