The functional verification of electronic systems : an overview from various points of view
executive editor, Brian Bailey (International Engineering Consortium, 2005)
|
| Contents : - Preface - Chapter 1 Verification Technologies - Chapter 2 Verification Languages - Chapter 3 Standards - Chapter 4 Functional Verification in the Context of Design Reuse - Chapter 5 Verification Plans:Top Ten - Chapter 6 Transaction-Based Predictor Models - Chapter 7 Formal Verification of High-Level Requirements - Chapter 8 HDL Lint - Chapter 9 Hardware/Software Co-Verification - Chapter 10 Coverage-Based Verification - Chapter 11 A Unified Functional Verification Approach for Mixed Analog- Digital ASIC Designs - Chapter 12 Generating Stimulus - Chapter 13 Automating System-on-Chip Debug - Chapter 14 Managing a 15+ Million Gate ASIC Design Verification - Chapter 15 Simplifying Mixed-Signal Simulation Using Modular Virtual Test Equipment in VHDL - Chapter 16 Assertion-Based Verification for ARM Based SoC Design - Chapter 17 Formal Verification of a Key Block of the TriCore2 Microprocessor - Chapter 18 Functional Verification of Configurable Embedded Processors - Acronym Guide |
 The Functional Verification of Electronic Systems.pdf :: Unduh
|
| No. Panggil : | e20452794 |
| Entri tambahan-Nama orang : | |
| Subjek : | |
| Penerbitan : | Chicago: International Engineering Consortium, 2005 |
| Sumber Pengatalogan: | LibUI eng rda |
| Tipe Konten: | text |
| Tipe Media: | computer |
| Tipe Pembawa: | online resource |
| Deskripsi Fisik: | xvi, 450 pages : illustration |
| Tautan: | http://portal.igpublish.com/iglibrary/search/IECB0000005.main.html?14 |
| Lembaga Pemilik: | |
| Lokasi: |
| No. Panggil | No. Barkod | Ketersediaan |
|---|---|---|
| e20452794 | 02-17-866244791 | TERSEDIA |
| Ulasan: |
| Tidak ada ulasan pada koleksi ini: 20452794 |
