Comprehensive Functional Verification: The Complete Industry Cycle (Record no. 44952)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 01445nam a2200193Ia 4500 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 140223b2005 xxu||||| |||| 00| 0 eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9780127518039 |
| Terms of availability | 0.00 |
| 082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | 621.381548 |
| Item number | WIL |
| 100 ## - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Wile, Bruce |
| 245 ## - TITLE STATEMENT | |
| Title | Comprehensive Functional Verification: The Complete Industry Cycle |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
| Place of publication, distribution, etc. | San Francisco |
| Name of publisher, distributor, etc. | Morgan Kaufmann Publishers |
| Date of publication, distribution, etc. | 2005 |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | 676p |
| 500 ## - GENERAL NOTE | |
| General note | Part - 1: Introduction to Verification Verification in the Chip Design Process Verification Flow Fundamentals of Simulation Based Verification The Verification Plan Part - 2: Simulation Based Verification HDLs and Simulation Engines Creating Environments Strategies for Simulation Based Stimulus Generation Strategies for Results Checking in Simulation Based Verification Pervasive Function Verification Re Use Strategies and System Simulation Part - 3: Formal Verification Introduction to Formal Verification Using Formal Verification Part - 4: Comprehensive Verification Completing the Verification Cycle Advanced Verification Techniques Part - 5: Case Studies Case Studies |
| 600 ## - SUBJECT ADDED ENTRY--PERSONAL NAME | |
| Personal name | Electronic Engineering |
| 700 ## - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Roesner, Wolfgang |
| 700 ## - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Goss, John C. |
| 890 ## - | |
| -- | USA |
| 995 ## - RECOMMENDATION 995 [LOCAL, UNIMARC FRANCE] | |
| -- | WIL |
| -- | 006068 |
| -- | ECE-PG0 |
| -- | 1978.10 |
| -- | 0 |
| -- | 049 |
| -- | AH/2007/CR/0001849 |
| -- | 0 |
| -- | 0.00 |
| -- | 2673.11 26% |
| -- | 20070917 |
| -- | 02 |
| -- | C |
| -- | 20071123 |
| -- | Allied Book Centre |
| -- | Reference |
No items available.