Шаблон:PSL TOC — различия между версиями
Материал из Wiki
ANA (обсуждение | вклад) м |
ANA (обсуждение | вклад) м |
||
| (не показаны 6 промежуточных версий 1 участника) | |||
| Строка 1: | Строка 1: | ||
| − | <div style="float:right; clear:right; margin:5px 5px 5px 15px; border:1px solid #9d9; background:#f6ffe9; padding:5px; width: | + | <div style="float:right; clear:right; margin:5px 5px 5px 15px; border:1px solid #9d9; background:#f6ffe9; padding:5px; width:22em;"> |
<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> | ||
* [[The Designer's Guide To PSL]] ([[The Designer's Guide To PSL/ru|ru]]) | * [[The Designer's Guide To PSL]] ([[The Designer's Guide To PSL/ru|ru]]) | ||
| Строка 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> | ||
| + | |||
| + | * [[PSL/A Practical Introduction to PSL/Introduction/ru|1. Introduction]] ([[PSL/A Practical Introduction to PSL/Introduction|en]]) | ||
| + | * [[PSL/A Practical Introduction to PSL/Basic Temporal Properties/ru|2. Basic Temporal Properties]] ([[PSL/A Practical Introduction to PSL/Basic Temporal Properties|en]]) | ||
| + | * [[PSL/A Practical Introduction to PSL/Some Philosophy/ru|3. Some Philosophy]] ([[PSL/A Practical Introduction to PSL/Some Philosophy|en]]) | ||
| + | * [[PSL/A Practical Introduction to PSL/Weak vs. Strong Temporal Operators/ru|4. 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|5. SERE Style]] ([[PSL/A Practical Introduction to PSL/SERE Style|en]]) | ||
| + | <!-- | ||
| + | * [[PSL/A Practical Introduction to PSL/Clocks/ru|6. Clocks]] ([[PSL/A Practical Introduction to PSL/Clocks|en]]) | ||
| + | --> | ||
<hr style="margin:8px 16px"> | <hr style="margin:8px 16px"> | ||
Текущая версия на 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)
