OVM/Книги — различия между версиями
Материал из Wiki
< OVM
ANA (обсуждение | вклад) (Новая страница: «{{OVM TOC}} *{{книга | автор = Glasser M. | название = Open Verification Methodology Cookbook | ссылка = {{SERVER}}/files/hdl/glasser_m__…») |
Vidokq (обсуждение | вклад) |
||
| Строка 21: | Строка 21: | ||
| isbn = 978-1-4419-0967-1 | | isbn = 978-1-4419-0967-1 | ||
| год = 2009 | | год = 2009 | ||
| + | }} | ||
| + | |||
| + | *{{книга | ||
| + | | автор = Хаханов В.И., Хаханова И.В., Литвинова Е.И., Гузь О.А. | ||
| + | | название = Проектирование и верификация цифровых систем на кристаллах. Verilog & Symtem Verilog | ||
| + | | ссылка = http://gen.lib.rus.ec/book/index.php?md5=9EA203DECF1E15A3CD8B843309381E41 | ||
| + | | город = Харьков | ||
| + | | издательство = ХНУРЭ | ||
| + | | страниц = 528 | ||
| + | | год = 2010 | ||
| + | }} | ||
| + | |||
| + | *{{книга | ||
| + | | автор = Srikanth Vijayaraghavan, Meyyappan Ramanathan | ||
| + | | название = A Practical Guide for SystemVerilog Assertions | ||
| + | | ссылка = http://gen.lib.rus.ec/book/index.php?md5=4F290839F34CBDC15C65ABF6D06D1B4F | ||
| + | | город = | ||
| + | | издательство = Springer | ||
| + | | страниц = 334 | ||
| + | | год = 2005 | ||
| + | }} | ||
| + | |||
| + | *{{книга | ||
| + | | автор = Mike Mintz, Robert Ekendahl | ||
| + | | название = Hardware Verification With SystemVerilog: An Object-oriented Framework | ||
| + | | ссылка = http://gen.lib.rus.ec/book/index.php?md5=8267113BBA0368847085DB5D8DD7523B | ||
| + | | город = | ||
| + | | издательство = Springer | ||
| + | | страниц = 332 | ||
| + | | год = 2007 | ||
| + | }} | ||
| + | |||
| + | *{{книга | ||
| + | | автор = Mike Mintz, Robert Ekendahl | ||
| + | | название = Hardware Verification With SystemVerilog: An Object-oriented Framework | ||
| + | | ссылка = http://gen.lib.rus.ec/book/index.php?md5=52CCD8B50C9591CD7527577E0713252F | ||
| + | | город = | ||
| + | | издательство = Springer | ||
| + | | страниц = 299 | ||
| + | | год = 2007 | ||
| + | }} | ||
| + | |||
| + | *{{книга | ||
| + | | автор = 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 | ||
| + | | ссылка = http://gen.lib.rus.ec/book/index.php?md5=03FAABC8E037BB2A6BCFF78CA77FACE0 | ||
| + | | город = | ||
| + | | издательство = Springer | ||
| + | | страниц = 1285 | ||
| + | | год = | ||
}} | }} | ||
Версия 22:08, 16 марта 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 с.
