Шаблон:PSL TOC — различия между версиями
Материал из Wiki
ANA (обсуждение | вклад) м |
ANA (обсуждение | вклад) м |
||
| (не показана 1 промежуточная версия 1 участника) | |||
| Строка 9: | Строка 9: | ||
* [[PSL/Литература|Литература]] | * [[PSL/Литература|Литература]] | ||
* [[PSL/IEEE Standard 1850-2010 for Property Specification Language (PSL)|IEEE Std 1850-2010]] | * [[PSL/IEEE Standard 1850-2010 for Property Specification Language (PSL)|IEEE Std 1850-2010]] | ||
| + | * [[PSL/The designers guide to VHDL/18.3 Embedded PSL in VHDL|Embedded PSL in VHDL]] ([[PSL/The designers guide to VHDL/18.3 Embedded PSL in VHDL/en|en]]) | ||
<div style="background:#e6f7da; padding:5px 10px; text-align:center; font-weight:bold; {{border-radius|8px}}">Введение в PSL</div> | <div style="background:#e6f7da; padding:5px 10px; text-align:center; font-weight:bold; {{border-radius|8px}}">Введение в PSL</div> | ||
Текущая версия на 00:11, 16 ноября 2013
Литература
Введение в PSL
- 1. Introduction (en)
- 2. Basic Temporal Properties (en)
- 3. Some Philosophy (en)
- 4. Weak vs. Strong Temporal Operators (en)
- 5. SERE Style (en)
