ANA: /* Ссылки */

2014-01-04T07:59:29Z

‎Ссылки

ANA: /* Ссылки */

2013-05-26T16:40:52Z

‎Ссылки

Новая страница

{{PSL TOC}}

== Книги ==

* {{книга
| автор = Eisner C., Fisman D.
| название = A Practical Introduction to PSL
| ссылка = {{SERVER}}/files/eisner_c__a_practical_introduction_to_psl__2006.pdf
| заглавие =
| оригинал =
| ответственный =
| страницы =
| место =
| город = USA
| издательство = Springer
| издание =
| том =
| страниц = 240
| pages =
| allpages =
| серия = Series on IC and Systems
| тираж =
| isbn = 9780387353135
| год = 2006
}}

*{{книга
| автор = Foster H.D., Krolnik A.C., Lacey D.J.
| название = Assertion-Based Design
| ссылка = {{SERVER}}/files/foster_h_d__assertion_based_design__2004.pdf
| город = USA
| издательство = Springer
| allpages = 414
| серия = Information Technology: Transmission, Processing & Storage
| isbn = 1402080271
| год = 2004
}}
** Appendix B: PSL (PROPERTY SPECIFICATION LANGUAGE)

*{{книга
| автор = Glasser M.
| название = Open Verification Methodology Cookbook
| ссылка = {{SERVER}}/files/hdl/glasser_m__open_verification_methodology_cookbook__2009.pdf
| город = USA
| издательство = Springer
| страниц =
| allpages = 248
| isbn = 978-1-4419-0967-1
| год = 2009
}}

*{{книга
| автор = Хаханов В.И., Хаханова И.В., Литвинова Е.И., Гузь О.А.
| название = Проектирование и верификация цифровых систем на кристаллах. Verilog & Symtem Verilog
| ссылка = {{SERVER}}/files/hdl/хаханов__проектирование_и_верификация_цифровых_систем__2010.djvu
| страницы =
| место =
| город = Харьков
| издательство = ХНУРЭ
| страниц = 528
| isbn =
| год = 2010
}}

*{{книга
| автор = Sasan Iman
| название = Step-by-Step Functional Verification with SystemVerilog and OVM
| ссылка = {{SERVER}}/files/hdl/sasan_iman__step-by-step_functional_verification_with_systemverilog_and_ovm__2008.pdf
| город = Santa Clara, CA
| издательство = Hansen Brown
| страниц =
| allpages = 520
| isbn = 978-0-9816562-1-2
| год = 2008
}}

* {{книга
| автор = Foster H.D., Krolnik A.C.
| название = Creating Assertion-Based IP
| ссылка = {{SERVER}}/files/books/psl/foster_h__creating_assertion_based_ip__2008.pdf
| город = USA
| издательство = Springer
| страниц =
| allpages = 312
| серия = Integrated Circuits and Systems
| тираж =
| isbn = 9780387366418
| год = 2008
}}

== Статьи ==

* {{книга
| автор =
| название = “Property-by-Example” Guide: a Handbook of PSL Examples
| ссылка = {{SERVER}}/files/books/psl/handbook_of_psl_examples__2005.pdf
| город =
| издательство = IBM
| страниц =
| allpages =
| серия =
| тираж =
| isbn =
| год = 2005
}}

* [{{SERVER}}/files/books/psl/psl_quick_reference_card_vhdl.pdf PSL/SUGAR Quick Reference Card VHDL (2003)]

* Проектирование в условиях временных ограничений: верификация проектов на основе ПЛИС
** [http://kit-e.ru/articles/plis/2008_3_96.php Часть 1. Компоненты и технологии №3'2008] [http://kit-e.ru/assets/files/pdf/2008_08_89.pdf pdf]
** [[Проектирование в условиях временных ограничений: верификация проектов на основе ПЛИС. Часть 2. PSL|Часть 2. Компоненты и технологии №5'2008. PSL]] ([http://kit-e.ru/articles/plis/2008_5_54.php ext]) [http://kit-e.ru/assets/files/pdf/2008_6_54.pdf pdf]
** [http://kit-e.ru/articles/plis/2008_6_54.php Часть 3. Компоненты и технологии №6'2008] [http://kit-e.ru/assets/files/pdf/2008_3_96.pdf pdf]
** [http://kit-e.ru/articles/plis/2008_08_89.php Часть 4. Компоненты и технологии №8'2008] [http://kit-e.ru/assets/files/pdf/2008_5_54.pdf pdf]

== Стандарты IEEE ==

* {{книга
| автор =
| название = 1850-2010 IEEE Standard for Property Specification Language (PSL)
| ссылка = {{SERVER}}/files/ieee/ieee_std_1850-2010__property_specification_language.pdf
| заглавие =
| оригинал =
| ответственный =
| страницы =
| место = New York, USA
| город =
| издательство = IEEE
| издание =
| том =
| страниц =
| pages =
| allpages = 182
| серия =
| тираж =
| isbn = 978-0-7381-6255-3
| год = 2010
}}

* {{книга
| автор =
| название = 1076-2008 IEEE Standard VHDL Language Reference Manual
| ссылка = {{SERVER}}/files/ieee/IEEE_std_1076-2008_IEEE_Standard_VHDL_Language_Reference_Manual.pdf
| заглавие =
| оригинал =
| ответственный =
| страницы =
| место =
| город =
| издательство = IEEE
| издание =
| том =
| страниц =
| pages =
| allpages = 639
| серия =
| тираж =
| isbn = 978-0-7381-5800-6
| год = 2009
}} — Копия файла [{{SERVER}}/files/ieee/ieee_std_1076-2008__vhdl_reference_manual.pdf pdf]

== Ссылки ==

* http://www.aldec.com/resources/manuals/Active-HDL/ast00110.htm
* http://www.doulos.com/knowhow/psl/
* [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://www.aldec.com/en/support/resources/multimedia/webinars/1440 Assertions — A Practical Introduction for HDL Designers]

@@ Строка 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
 * [http://osvvm.org/forums/topic/psl-or-sva PSL or SVA?]
 == Вебинары ==

PSL/Литература - История изменений

ANA: /* Ссылки */

ANA: /* Ссылки */