Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Comprehensive functional verification : the complete industry cycle [[electronic resource] /] / Bruce Wile, John C. Goss, Wolfgang Roesner
| 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 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Comprehensive functional verification : the complete industry cycle [[electronic resource] /] / Bruce Wile, John C. Goss, Wolfgang Roesner
| 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 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||