«…Труд избавляет человека от трех великих зол: скуки, порока, нужды…»

Шаблон:PSL TOC — различия между версиями

Материал из Wiki
Перейти к: навигация, поиск
м
м
Строка 15: Строка 15:
 
* [[PSL/A Practical Introduction to PSL/Basic Temporal Properties/ru|Basic Temporal Properties]] ([[PSL/A Practical Introduction to PSL/Basic Temporal Properties|en]])
 
* [[PSL/A Practical Introduction to PSL/Basic Temporal Properties/ru|Basic Temporal Properties]] ([[PSL/A Practical Introduction to PSL/Basic Temporal Properties|en]])
 
* [[PSL/A Practical Introduction to PSL/Some Philosophy/ru|Some Philosophy]] ([[PSL/A Practical Introduction to PSL/Some Philosophy|en]])
 
* [[PSL/A Practical Introduction to PSL/Some Philosophy/ru|Some Philosophy]] ([[PSL/A Practical Introduction to PSL/Some Philosophy|en]])
<!--
 
 
* [[PSL/A Practical Introduction to PSL/Weak vs. Strong Temporal Operators/ru|Weak vs. Strong Temporal Operators]] ([[PSL/A Practical Introduction to PSL/Weak vs. Strong Temporal Operators|en]])
 
* [[PSL/A Practical Introduction to PSL/Weak vs. Strong Temporal Operators/ru|Weak vs. Strong Temporal Operators]] ([[PSL/A Practical Introduction to PSL/Weak vs. Strong Temporal Operators|en]])
 +
<!--
 
* [[PSL/A Practical Introduction to PSL/SERE Style/ru|SERE Style]] ([[PSL/A Practical Introduction to PSL/SERE Style|en]])
 
* [[PSL/A Practical Introduction to PSL/SERE Style/ru|SERE Style]] ([[PSL/A Practical Introduction to PSL/SERE Style|en]])
 
* [[PSL/A Practical Introduction to PSL/Clocks/ru|Clocks]] ([[PSL/A Practical Introduction to PSL/Clocks|en]])
 
* [[PSL/A Practical Introduction to PSL/Clocks/ru|Clocks]] ([[PSL/A Practical Introduction to PSL/Clocks|en]])

Версия 00:24, 27 октября 2013

PSL

Литература
Введение в PSL

* VHDL * OS-VVM * Co-Simulation *