OVM/Книги — различия между версиями
Материал из Wiki
< OVM
Vidokq (обсуждение | вклад) |
ANA (обсуждение | вклад) м |
||
| (не показаны 2 промежуточные версии 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 | ||
}} | }} | ||
| + | |||
| + | ---- | ||
*{{книга | *{{книга | ||
| Строка 102: | Строка 104: | ||
| год = 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 с.
