PSL/Словарь терминов — различия между версиями
Материал из Wiki
< PSL
ANA (обсуждение | вклад) м (→foster_h__creating_assertion_based_ip__2008.pdf) |
Valentin (обсуждение | вклад) (→3.4 Guidelines and conventions (стр.57)) |
||
| Строка 51: | Строка 51: | ||
| c_label || c_ is a prefix for cover directive labels | | c_label || c_ is a prefix for cover directive labels | ||
|} | |} | ||
| + | |||
| + | |||
| + | === Новые слова === | ||
| + | |||
| + | * Слово на анг. — значение на русском | ||
Текущая версия на 16:32, 9 сентября 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)
- Словарь терминов
- Дневник
- История проекта
foster_h__creating_assertion_based_ip__2008.pdf
- Приведены определения разных терминов
- Абривиатуры (стр.35)
- AHB AMBA Advanced High-performance Bus
- AMBA™ Advanced microcontroller bus architecture
- APB AMBA Advanced Peripheral Bus
- AVM Advanced Verification Methodology
- BFM Bus functional model
- DUV Design under verification
- EDA Electronic design automation
- eRM e reuse methodology
- FIFO First in first out
- FSM Finite state machine
- HDL Hardware description language
- HVL High-level verification language
- I2C Inter-Integrated Circuit
- IP Intellectual property
- OVL Open Verification Library
- OVM Open Verification Methodology
- PSL Property Specification Language
- RTL register transfer-level
- SDRAM Synchronous dynamic random access memory
- SoC System on chip
- SVA SystemVerilog Assertions
- TLM Transaction-level model
- VIP Verification IP
- VMM Verification Methodology Manual
Практическое введение в PSL:
- Foundation Language (FL)
- Optional Branching Extension (OBE)
3.4 Guidelines and conventions (стр.57)
| Convention | Use |
|---|---|
| p_name | p_ is a prefix for property declaration names |
| s_name | s_ is a prefix for sequence declaration names |
| a_label | a_ is a prefix for assert directive labels |
| m_label | m_ is a prefix for assume directive labels (for formal) |
| c_label | c_ is a prefix for cover directive labels |
Новые слова
- Слово на анг. — значение на русском
