OVM/Книги — различия между версиями
Материал из Wiki
< OVM
Vidokq (обсуждение | вклад) |
ANA (обсуждение | вклад) м |
||
| (не показаны 3 промежуточные версии 1 участника) | |||
| Строка 1: | Строка 1: | ||
{{OVM TOC}} | {{OVM TOC}} | ||
| − | + | [[Файл:CLIPART OF 10887 SM 2.jpg|left|100px]] | |
*{{книга | *{{книга | ||
| автор = Glasser M. | | автор = Glasser M. | ||
| название = Open Verification Methodology Cookbook | | название = Open Verification Methodology Cookbook | ||
| − | | ссылка = {{SERVER}}/files/hdl/glasser_m__open_verification_methodology_cookbook__2009.pdf | + | | ссылка = {{SERVER}}/ftp/files/hdl/glasser_m__open_verification_methodology_cookbook__2009.pdf |
| заглавие = | | заглавие = | ||
| оригинал = | | оригинал = | ||
| Строка 32: | Строка 32: | ||
| год = 2010 | | год = 2010 | ||
}} | }} | ||
| + | |||
| + | ---- | ||
*{{книга | *{{книга | ||
| Строка 100: | Строка 102: | ||
| издательство = Springer | | издательство = Springer | ||
| страниц = 435 | | страниц = 435 | ||
| + | | год = 2006 | ||
| + | }} | ||
| + | |||
| + | *{{книга | ||
| + | | автор = Chris Spear | ||
| + | | название = SystemVerilog for Verification, Second Edition: A Guide to Learning the Testbench Language Features | ||
| + | | ссылка = http://gen.lib.rus.ec/book/index.php?md5=BE53725DA41E708AD14F6AE8633B5B45 | ||
| + | | город = | ||
| + | | издательство = Springer | ||
| + | | страниц = 455 | ||
| + | | год = 2008 | ||
| + | }} | ||
| + | |||
| + | *{{книга | ||
| + | | автор = Eduard Cerny, Surrendra Dudani, John Havlicek, Dmitry Korchemny | ||
| + | | название = The Power of Assertions in SystemVerilog | ||
| + | | ссылка = http://gen.lib.rus.ec/book/index.php?md5=b1779ce7121e7cebaec85ca069b3af4b | ||
| + | | город = | ||
| + | | издательство = Springer | ||
| + | | страниц = 562 | ||
| + | | год = 2010 | ||
| + | }} | ||
| + | |||
| + | *{{книга | ||
| + | | автор = Janick Bergeron, Eduard Cerny, Alan Hunter, Andy Nightingale | ||
| + | | название = Verification Methodology Manual for SystemVerilog Bergeron Cerny Hunter Nightingale | ||
| + | | ссылка = http://gen.lib.rus.ec/book/index.php?md5=B6CC4AF84AA821EE333EFFB1635B9F50 | ||
| + | | город = | ||
| + | | издательство = Springer | ||
| + | | страниц = 528 | ||
| + | | год = 2005 | ||
| + | }} | ||
| + | |||
| + | *{{книга | ||
| + | | автор = Stuart Sutherland, Don Mills | ||
| + | | название = Verilog and SystemVerilog Gotchas: 101 Common Coding Errors and How to Avoid Them | ||
| + | | ссылка = http://gen.lib.rus.ec/book/index.php?md5=B8432D4B2AB2F4233668AB6D8670B4BD | ||
| + | | город = | ||
| + | | издательство = Springer | ||
| + | | страниц = 230 | ||
| + | | год = 2007 | ||
| + | }} | ||
| + | |||
| + | *{{книга | ||
| + | | автор = Janick Bergeron | ||
| + | | название = Writing Testbenches using SystemVerilog | ||
| + | | ссылка = http://gen.lib.rus.ec/book/index.php?md5=DAB53411063882045C00029373788509 | ||
| + | | город = | ||
| + | | издательство = | ||
| + | | страниц = 440 | ||
| год = 2006 | | год = 2006 | ||
}} | }} | ||
Текущая версия на 11:00, 23 марта 2013
- Glasser M. Open Verification Methodology Cookbook — USA: Springer, 2009. — 248 с. — ISBN 978-1-4419-0967-1.
- Хаханов В.И., Хаханова И.В., Литвинова Е.И., Гузь О.А. Проектирование и верификация цифровых систем на кристаллах. Verilog & Symtem Verilog — Харьков: ХНУРЭ, 2010. — 528 с.
- Srikanth Vijayaraghavan, Meyyappan Ramanathan A Practical Guide for SystemVerilog Assertions — Springer, 2005. — 334 с.
- Mike Mintz, Robert Ekendahl Hardware Verification With SystemVerilog: An Object-oriented Framework — Springer, 2007. — 332 с.
- Mike Mintz, Robert Ekendahl Hardware Verification With SystemVerilog: An Object-oriented Framework — Springer, 2007. — 299 с.
- Sponsor, Design Automation Standards Committee of the IEEE Computer Society and the IEEE Standards Association Corporate Advisory Group IEEE standard 1800-2009 for SystemVerilog--unified hardware design, specification, and verification language — Springer. — 1285 с.
- Sasan Iman Step-by-step Functional Verification with SystemVerilog and OVM — Hansen Brown Publishing, 2008. — 520 с.
- Stuart Sutherland, Simon Davidmann, Peter Flake, P. Moorby SystemVerilog for Design Second Edition: A Guide to Using SystemVerilog for Hardware Design and Modeling — Springer, 2006. — 436 с.
- Stuart Sutherland SystemVerilog for Design: A Guide to Using SystemVerilog for Hardware Design and Modeling — Springer, 2006. — 435 с.
- Chris Spear SystemVerilog for Verification, Second Edition: A Guide to Learning the Testbench Language Features — Springer, 2008. — 455 с.
- Eduard Cerny, Surrendra Dudani, John Havlicek, Dmitry Korchemny The Power of Assertions in SystemVerilog — Springer, 2010. — 562 с.
- Janick Bergeron, Eduard Cerny, Alan Hunter, Andy Nightingale Verification Methodology Manual for SystemVerilog Bergeron Cerny Hunter Nightingale — Springer, 2005. — 528 с.
- Stuart Sutherland, Don Mills Verilog and SystemVerilog Gotchas: 101 Common Coding Errors and How to Avoid Them — Springer, 2007. — 230 с.
- Janick Bergeron Writing Testbenches using SystemVerilog — 2006. — 440 с.
