Generating hardware assertion checkers for hardware verification, emulation, post-fabrication debugging and on-line monitoring
Saved in:
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Book |
| Language: | English |
| Published: |
[Dordrecht] :
Springer,
2008
|
| Genre/form: | monografie elektronické knihy |
| ISBN: | 978-1-4020-8586-4 978-1-4020-8585-7 978-90-481-7922-0 |
| Subjects: | |
| Online Access: | Plný text |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| LEADER | 01270nam a2200337 a 4500 | ||
|---|---|---|---|
| 001 | 000652960 | ||
| 003 | CZ PrSTK | ||
| 005 | 20230309104544.0 | ||
| 008 | 080813s2008 ne a fs 001 0 eng d | ||
| 020 | |a 978-1-4020-8586-4 |q (elektronická kniha) | ||
| 020 | |z 978-1-4020-8585-7 |q (vázáno) | ||
| 020 | |z 978-90-481-7922-0 |q (brožováno) | ||
| 040 | |a ABA013 |b cze | ||
| 072 | 7 | |a 004.3 |x Počítače. Hardware |2 Konspekt |9 23 | |
| 080 | |a 004.3 | ||
| 080 | |a 004.416.2 | ||
| 100 | 1 | |a Boulé, Marc, |d 1974- |7 stk2008461190 |4 aut | |
| 245 | 1 | 0 | |a Generating hardware assertion checkers |h [elektronický zdroj] : |b for hardware verification, emulation, post-fabrication debugging and on-line monitoring / |c Marc Boulé, Zeljko Zilic |
| 256 | |a Textová data | ||
| 260 | |a [Dordrecht] : |b Springer, |c 2008 | ||
| 300 | |a xx, 279 s. : |b il. | ||
| 504 | |a Obsahuje bibliografii a rejstřík | ||
| 538 | |a On-line přístup | ||
| 650 | 0 | 7 | |a hardware |x vt |7 psh12389 |2 psh |
| 650 | 0 | 7 | |a testování |x vt |7 psh12571 |2 psh |
| 655 | 7 | |a monografie |7 fd132842 |2 czenas | |
| 655 | 7 | |a elektronické knihy |7 fd186907 |2 czenas | |
| 700 | 1 | |a Zilic, Zeljko |7 stk2008461191 |4 aut | |
| 856 | 4 | |u https://doi.org/10.1007/978-1-4020-8586-4 |y Plný text | |
| 910 | |a ABA013 |b EB 00172 | ||
| 950 | |a Springer |b Engineering | ||