PSL/Литература

Ссылки сюда (20) →

PSL

• The Designer's Guide To PSL (ru)

---

Литература

• Литература
• IEEE Std 1850-2010

Введение в PSL

• 1. Introduction (en)
• 2. Basic Temporal Properties (en)
• 3. Some Philosophy (en)
• 4. Weak vs. Strong Temporal Operators (en)
• 5. SERE Style (en)

---

• Словарь терминов
• Дневник
• История проекта

* VHDL * OS-VVM * Co-Simulation *

Книги

• 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.

Статьи

• “Property-by-Example” Guide: a Handbook of PSL Examples — IBM, 2005.

• PSL/SUGAR Quick Reference Card VHDL (2003)

• Проектирование в условиях временных ограничений: верификация проектов на основе ПЛИС
  • Часть 1. Компоненты и технологии №3'2008 pdf
  • Часть 2. Компоненты и технологии №5'2008. PSL (ext) pdf
  • Часть 3. Компоненты и технологии №6'2008 pdf
  • Часть 4. Компоненты и технологии №8'2008 pdf

Стандарты 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?

Вебинары

• Assertions — A Practical Introduction for HDL Designers