Comprehensive functional verification : the complete industry cycle [[electronic resource] /] / Bruce Wile, John C. Goss, Wolfgang Roesner |
Autore | Wile Bruce |
Pubbl/distr/stampa | Amsterdam ; ; Boston, : Elsevier/Morgan Kaufmann, c2005 |
Descrizione fisica | 1 online resource (702 p.) |
Disciplina | 621.3815/48 |
Altri autori (Persone) |
GossJohn C
RoesnerW (Wolfgang) |
Collana | Systems on Silicon |
Soggetto topico |
Circuits integrats - Verificació
Integrated circuits - Verification Computer engineering |
Soggetto genere / forma | Electronic books. |
ISBN |
1-281-00839-7
9786611008390 1-4237-2233-7 9780080476643 0-08-047664-3 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Cover; Author Bios; FOREWORD; Table of contents; PREFACE; ACKNOWLEDGEMENTS; PART I: INTRODUCTION TO VERIFICATION; PART II: SIMULATION-BASED VERIFICATION; PART III: FORMAL VERIFICATION; PART IV: COMPREHENSIVE VERIFICATION; PART V: CASE STUDIES; VERIFICATION GLOSSARY; REFERENCES; SUBJECT INDEX |
Record Nr. | UNINA-9910458499603321 |
Wile Bruce
![]() |
||
Amsterdam ; ; Boston, : Elsevier/Morgan Kaufmann, c2005 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Comprehensive functional verification : the complete industry cycle [[electronic resource] /] / Bruce Wile, John C. Goss, Wolfgang Roesner |
Autore | Wile Bruce |
Pubbl/distr/stampa | Amsterdam ; ; Boston, : Elsevier/Morgan Kaufmann, c2005 |
Descrizione fisica | 1 online resource (702 p.) |
Disciplina | 621.3815/48 |
Altri autori (Persone) |
GossJohn C
RoesnerW (Wolfgang) |
Collana | Systems on Silicon |
Soggetto topico |
Circuits integrats - Verificació
Integrated circuits - Verification Computer engineering |
ISBN |
1-281-00839-7
9786611008390 1-4237-2233-7 9780080476643 0-08-047664-3 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Cover; Author Bios; FOREWORD; Table of contents; PREFACE; ACKNOWLEDGEMENTS; PART I: INTRODUCTION TO VERIFICATION; PART II: SIMULATION-BASED VERIFICATION; PART III: FORMAL VERIFICATION; PART IV: COMPREHENSIVE VERIFICATION; PART V: CASE STUDIES; VERIFICATION GLOSSARY; REFERENCES; SUBJECT INDEX |
Record Nr. | UNINA-9910784566503321 |
Wile Bruce
![]() |
||
Amsterdam ; ; Boston, : Elsevier/Morgan Kaufmann, c2005 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Comprehensive functional verification : the complete industry cycle [[electronic resource] /] / Bruce Wile, John C. Goss, Wolfgang Roesner |
Autore | Wile Bruce |
Edizione | [1st ed.] |
Pubbl/distr/stampa | Amsterdam ; ; Boston, : Elsevier/Morgan Kaufmann, c2005 |
Descrizione fisica | 1 online resource (702 p.) |
Disciplina | 621.3815/48 |
Altri autori (Persone) |
GossJohn C
RoesnerW (Wolfgang) |
Collana | Systems on Silicon |
Soggetto topico |
Circuits integrats - Verificació
Integrated circuits - Verification Computer engineering |
ISBN |
1-281-00839-7
9786611008390 1-4237-2233-7 9780080476643 0-08-047664-3 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Cover; Author Bios; FOREWORD; Table of contents; PREFACE; ACKNOWLEDGEMENTS; PART I: INTRODUCTION TO VERIFICATION; PART II: SIMULATION-BASED VERIFICATION; PART III: FORMAL VERIFICATION; PART IV: COMPREHENSIVE VERIFICATION; PART V: CASE STUDIES; VERIFICATION GLOSSARY; REFERENCES; SUBJECT INDEX |
Record Nr. | UNINA-9910825616703321 |
Wile Bruce
![]() |
||
Amsterdam ; ; Boston, : Elsevier/Morgan Kaufmann, c2005 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|