«Случай — это псевдоним Бога, когда Он не хочет подписываться своим собственным именем.» А. Франс

PSL/A Practical Introduction to PSL/Weak vs. Strong Temporal Operators

Материал из Wiki
< PSL
Версия от 00:27, 27 октября 2013; ANA (обсуждение | вклад)

(разн.) ← Предыдущая | Текущая версия (разн.) | Следующая → (разн.)
Это снимок страницы. Он включает старые, но не удалённые версии шаблонов и изображений.
Перейти к: навигация, поиск
PSL
Литература
Введение в PSL
* VHDL * OS-VVM * Co-Simulation *

Psl fig5.1.png


Psl fig5.2.png


Psl fig5.4.png


Psl fig5.5.png


Psl fig5.6.png


Psl fig5.7.png


Psl fig5.8.png


Psl fig5.9.png


Psl fig5.10.png


Psl fig5.11.png


Psl fig5.12.png


Psl fig5.13.png


Psl fig5.14.png


Psl fig5.15.png


Psl fig5.16.png

Источник — «http://www.simhard.com/wiki/index.php?title=PSL/A_Practical_Introduction_to_PSL/Weak_vs._Strong_Temporal_Operators&oldid=3176»