«Бог не меняет того, что (происходит) с людьми, пока они сами не изменят своих помыслов.» Коран, Сура 12:13

PSL/A Practical Introduction to PSL/SERE Style

Материал из Wiki

Версия от 23:43, 13 ноября 2013; ANA (обсуждение | вклад)

(разн.) ← Предыдущая | Текущая версия (разн.) | Следующая → (разн.)

Это снимок страницы. Он включает старые, но не удалённые версии шаблонов и изображений.

Перейти к: навигация, поиск

Категория:

PSL

Ссылки сюда (20) →

Подстраницы (1) →

The Designer's Guide To PSL (ru)

Литература

Введение в PSL

1. Introduction (en)
2. Basic Temporal Properties (en)
3. Some Philosophy (en)
4. Weak vs. Strong Temporal Operators (en)
5. SERE Style (en)

* VHDL * OS-VVM * Co-Simulation *

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

Категория:

PSL