PSL/Литература — различия между версиями
Материал из Wiki
< PSL
ANA (обсуждение | вклад) м (→Ссылки) |
ANA (обсуждение | вклад) м (→Ссылки) |
||
| Строка 165: | Строка 165: | ||
* [https://www.research.ibm.com/haifa/projects/verification/sugar/examples.html Existential Properties: Sample Applications, Education Material, IBM Haifa Formal Methods Group, August 2001] — проверена 12 ноября 2012 | * [https://www.research.ibm.com/haifa/projects/verification/sugar/examples.html Existential Properties: Sample Applications, Education Material, IBM Haifa Formal Methods Group, August 2001] — проверена 12 ноября 2012 | ||
* [http://osvvm.org/forums/topic/psl-or-sva PSL or SVA?] | * [http://osvvm.org/forums/topic/psl-or-sva PSL or SVA?] | ||
| + | * [http://www.project-veripage.com/psl_tutorial_1.php PSL Tutorial: Part 1], [http://www.project-veripage.com/psl_tutorial_5.php PSL Tutorial: Part 2], [http://www.project-veripage.com/psl_tutorial_7.php PSL Tutorial: Part 3] | ||
| + | * [http://www.aldec.com/resources/manuals/active-hdl/ast00110.htm Embedded PSL Assertions (Active-HDL)] | ||
== Вебинары == | == Вебинары == | ||
Текущая версия на 11:59, 4 января 2014
Литература
- Литература
- IEEE Std 1850-2010
- Embedded PSL in VHDL (en)
Введение в PSL
- 1. Introduction (en)
- 2. Basic Temporal Properties (en)
- 3. Some Philosophy (en)
- 4. Weak vs. Strong Temporal Operators (en)
- 5. SERE Style (en)
Содержание |
Книги
- Eisner C., Fisman D. A Practical Introduction to PSL — USA: Springer, 2006. — 240 с. — (Series on IC and Systems). — ISBN 9780387353135.
- Foster H.D., Krolnik A.C., Lacey D.J. Assertion-Based Design — USA: Springer, 2004. — 414 p. — (Information Technology: Transmission, Processing & Storage). — ISBN 1402080271.
- Appendix B: PSL (PROPERTY SPECIFICATION LANGUAGE)
- Glasser M. Open Verification Methodology Cookbook — USA: Springer, 2009. — 248 p. — ISBN 978-1-4419-0967-1.
- Хаханов В.И., Хаханова И.В., Литвинова Е.И., Гузь О.А. Проектирование и верификация цифровых систем на кристаллах. Verilog & Symtem Verilog — Харьков: ХНУРЭ, 2010. — 528 с.
- Sasan Iman Step-by-Step Functional Verification with SystemVerilog and OVM — Santa Clara, CA: Hansen Brown, 2008. — 520 p. — ISBN 978-0-9816562-1-2.
- Foster H.D., Krolnik A.C. Creating Assertion-Based IP — USA: Springer, 2008. — 312 p. — (Integrated Circuits and Systems). — ISBN 9780387366418.
Статьи
- Проектирование в условиях временных ограничений: верификация проектов на основе ПЛИС
Стандарты IEEE
- 1850-2010 IEEE Standard for Property Specification Language (PSL) — IEEE, 2010. — 182 p. — ISBN 978-0-7381-6255-3.
- 1076-2008 IEEE Standard VHDL Language Reference Manual — IEEE, 2009. — 639 p. — ISBN 978-0-7381-5800-6. — Копия файла pdf
Ссылки
- http://www.aldec.com/resources/manuals/Active-HDL/ast00110.htm
- http://www.doulos.com/knowhow/psl/
- Existential Properties: Sample Applications, Education Material, IBM Haifa Formal Methods Group, August 2001 — проверена 12 ноября 2012
- PSL or SVA?
- PSL Tutorial: Part 1, PSL Tutorial: Part 2, PSL Tutorial: Part 3
- Embedded PSL Assertions (Active-HDL)
