Cargando…
Practical design verification /
Improve design efficiency and reduce costs with this practical guide to formal and simulation-based functional verification. Giving you a theoretical and practical understanding of the key issues involved, expert authors including Wayne Wolf and Dan Gajski explain both formal techniques (model check...
| Clasificación: | Libro Electrónico |
|---|---|
| Otros Autores: | , |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Cambridge, U.K. ; New York :
Cambridge University Press,
2009.
|
| Temas: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a2200000Ma 4500 | ||
|---|---|---|---|
| 001 | EBOOKCENTRAL_ocn551852806 | ||
| 003 | OCoLC | ||
| 005 | 20240329122006.0 | ||
| 006 | m o d | ||
| 007 | cr cnu---unuuu | ||
| 008 | 100105s2009 enka ob 001 0 eng d | ||
| 040 | |a QE2 |b eng |e pn |c QE2 |d N$T |d IDEBK |d OCLCQ |d VT2 |d EBLCP |d CDX |d OCLCQ |d B24X7 |d UIU |d OCLCQ |d CAMBR |d OCLCF |d OCLCQ |d YDXCP |d DEBSZ |d OCLCQ |d S3O |d OCLCQ |d BUB |d ZCU |d K6U |d OCLCQ |d MERUC |d OCLCQ |d STF |d D6H |d UAB |d WRM |d OCLCQ |d ICG |d OCLCQ |d WYU |d LVT |d TKN |d A6Q |d DKC |d AU@ |d OCLCQ |d UKCRE |d LUN |d OCLCQ |d UKAHL |d OCLCO |d OCLCQ |d OCLCO |d OCLCL | ||
| 019 | |a 495933158 |a 593222122 |a 667031299 |a 1000272137 |a 1007572260 |a 1029496691 |a 1037918154 |a 1038690393 |a 1048135088 |a 1050964753 |a 1055344787 |a 1061065088 |a 1066429286 |a 1076676686 |a 1083561996 |a 1153557186 |a 1167444303 | ||
| 020 | |a 9780511650918 |q (electronic bk.) | ||
| 020 | |a 0511650914 |q (electronic bk.) | ||
| 020 | |a 9780511626913 |q (electronic bk.) | ||
| 020 | |a 0511626916 |q (electronic bk.) | ||
| 020 | |a 9780511580062 |q (electronic bk.) | ||
| 020 | |a 0511580061 |q (electronic bk.) | ||
| 020 | |z 0521859727 |q (hardback) | ||
| 020 | |z 9780521859721 |q (hardback) | ||
| 029 | 1 | |a DEBSZ |b 430756410 | |
| 035 | |a (OCoLC)551852806 |z (OCoLC)495933158 |z (OCoLC)593222122 |z (OCoLC)667031299 |z (OCoLC)1000272137 |z (OCoLC)1007572260 |z (OCoLC)1029496691 |z (OCoLC)1037918154 |z (OCoLC)1038690393 |z (OCoLC)1048135088 |z (OCoLC)1050964753 |z (OCoLC)1055344787 |z (OCoLC)1061065088 |z (OCoLC)1066429286 |z (OCoLC)1076676686 |z (OCoLC)1083561996 |z (OCoLC)1153557186 |z (OCoLC)1167444303 | ||
| 050 | 4 | |a TK7874.58 |b .P73 2009eb | |
| 072 | 7 | |a TEC |x 008020 |2 bisacsh | |
| 072 | 7 | |a TEC |x 008010 |2 bisacsh | |
| 082 | 0 | 4 | |a 621.3815/48 |2 22 |
| 049 | |a UAMI | ||
| 245 | 0 | 0 | |a Practical design verification / |c edited by Dhiraj K. Pradhan, Ian G. Harris. |
| 260 | |a Cambridge, U.K. ; |a New York : |b Cambridge University Press, |c 2009. | ||
| 300 | |a 1 online resource (xi, 276 pages) : |b illustrations | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 500 | |a Title from title screen. | ||
| 504 | |a Includes bibliographical references and index. | ||
| 505 | 0 | |a Model checking and equivalence checking / Masahiro Fujita -- Transaction-level system modeling / Daniel Gajski and Samar Abdi -- Response checkers, monitors, and assertions / Harry Foster -- System debugging strategies / Wayne H. Wolf -- Test generation and coverage metrics / Ernesto Sánchez, Giovanni Squillero, and Matteo Sonza Reorda -- SystemVerilog and Vera in a verification flow / Shireesh Verma and Ian G. Harris -- Decision diagrams for verification / Maciej Ciesielski, Dhiraj K. Pradhan, and Abusaleh M. Jabir -- Boolean satisfiability and EDA applications / Joao Marques-Silva. | |
| 520 | |a Improve design efficiency and reduce costs with this practical guide to formal and simulation-based functional verification. Giving you a theoretical and practical understanding of the key issues involved, expert authors including Wayne Wolf and Dan Gajski explain both formal techniques (model checking, equivalence checking) and simulation-based techniques (coverage metrics, test generation). You get insights into practical issues including hardware verification languages (HVLs) and system-level debugging. The foundations of formal and simulation-based techniques are covered too, as are more recent research advances including transaction-level modeling and assertion-based verification, plus the theoretical underpinnings of verification, including the use of decision diagrams and Boolean satisfiability (SAT). | ||
| 590 | |a ProQuest Ebook Central |b Ebook Central Academic Complete | ||
| 650 | 0 | |a Integrated circuits |x Verification. | |
| 650 | 6 | |a Circuits intégrés |x Vérification. | |
| 650 | 7 | |a TECHNOLOGY & ENGINEERING |x Electronics |x Circuits |x Integrated. |2 bisacsh | |
| 650 | 7 | |a TECHNOLOGY & ENGINEERING |x Electronics |x Circuits |x General. |2 bisacsh | |
| 650 | 7 | |a Integrated circuits |x Verification |2 fast | |
| 700 | 1 | |a Harris, Ian G. |4 edt | |
| 700 | 1 | |a Pradhan, Dhiraj K. |4 edt | |
| 758 | |i has work: |a Practical design verification (Text) |1 https://id.oclc.org/worldcat/entity/E39PCGGj9xhJCkkpcpMvVcPjT3 |4 https://id.oclc.org/worldcat/ontology/hasWork | ||
| 776 | 0 | 8 | |i Print version: |t Practical design verification. |d Cambridge, UK ; New York : Cambridge University Press, 2009 |z 9780521859721 |w (DLC) 2008050653 |w (OCoLC)268793465 |
| 856 | 4 | 0 | |u https://ebookcentral.uam.elogim.com/lib/uam-ebooks/detail.action?docID=451928 |z Texto completo |
| 938 | |a Askews and Holts Library Services |b ASKH |n AH24076288 | ||
| 938 | |a Books 24x7 |b B247 |n bke00032063 | ||
| 938 | |a Coutts Information Services |b COUT |n 11551245 | ||
| 938 | |a EBL - Ebook Library |b EBLB |n EBL451928 | ||
| 938 | |a EBSCOhost |b EBSC |n 304750 | ||
| 938 | |a ProQuest MyiLibrary Digital eBook Collection |b IDEB |n 239124 | ||
| 938 | |a YBP Library Services |b YANK |n 3095151 | ||
| 938 | |a YBP Library Services |b YANK |n 3108001 | ||
| 938 | |a YBP Library Services |b YANK |n 3289500 | ||
| 938 | |a YBP Library Services |b YANK |n 9619619 | ||
| 994 | |a 92 |b IZTAP | ||