OVM/Книги — различия между версиями
Материал из Wiki
< OVM
Vidokq (обсуждение | вклад) |
ANA (обсуждение | вклад) м |
||
| (не показаны 4 промежуточные версии 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 | ||
}} | }} | ||
| + | |||
| + | ---- | ||
*{{книга | *{{книга | ||
| Строка 64: | Строка 66: | ||
*{{книга | *{{книга | ||
| − | | автор = | + | | автор = 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 | | название = IEEE standard 1800-2009 for SystemVerilog--unified hardware design, specification, and verification language | ||
| ссылка = http://gen.lib.rus.ec/book/index.php?md5=03FAABC8E037BB2A6BCFF78CA77FACE0 | | ссылка = http://gen.lib.rus.ec/book/index.php?md5=03FAABC8E037BB2A6BCFF78CA77FACE0 | ||
| Строка 71: | Строка 73: | ||
| страниц = 1285 | | страниц = 1285 | ||
| год = | | год = | ||
| + | }} | ||
| + | |||
| + | *{{книга | ||
| + | | автор = Sasan Iman | ||
| + | | название = Step-by-step Functional Verification with SystemVerilog and OVM | ||
| + | | ссылка = http://gen.lib.rus.ec/book/index.php?md5=0ABE67CB5A4F6DE6FCB3101226C8F913 | ||
| + | | город = | ||
| + | | издательство = Hansen Brown Publishing | ||
| + | | страниц = 520 | ||
| + | | год = 2008 | ||
| + | }} | ||
| + | |||
| + | *{{книга | ||
| + | | автор = Stuart Sutherland, Simon Davidmann, Peter Flake, P. Moorby | ||
| + | | название = SystemVerilog for Design Second Edition: A Guide to Using SystemVerilog for Hardware Design and Modeling | ||
| + | | ссылка = http://gen.lib.rus.ec/book/index.php?md5=37FB42DD7F383D0E9938593EE018E4A6 | ||
| + | | город = | ||
| + | | издательство = Springer | ||
| + | | страниц = 436 | ||
| + | | год = 2006 | ||
| + | }} | ||
| + | |||
| + | *{{книга | ||
| + | | автор = Stuart Sutherland | ||
| + | | название = SystemVerilog for Design: A Guide to Using SystemVerilog for Hardware Design and Modeling | ||
| + | | ссылка = http://gen.lib.rus.ec/book/index.php?md5=0BDD20F5ED087B2DFA08B0CC650B6FE6 | ||
| + | | город = | ||
| + | | издательство = Springer | ||
| + | | страниц = 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 | ||
}} | }} | ||
Текущая версия на 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 с.
