System verilog for verification (Record no. 6874)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 00502nam a2200181Ia 4500 |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20190503113413.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 181025s9999 xx 000 0 und d |
| 010 ## - LIBRARY OF CONGRESS CONTROL NUMBER | |
| LC control number | 2008920031 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9788184895315 |
| 040 ## - CATALOGING SOURCE | |
| Original cataloging agency | AIKTC-KRRC |
| Transcribing agency | AIKTC-KRRC |
| 041 ## - LANGUAGE CODE | |
| Language code of text/sound track or separate title | ENG |
| 082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | 621.395 |
| Item number | SPE |
| Edition number | DDC23 |
| 100 ## - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Spear, Chris |
| 9 (RLIN) | 4985 |
| 245 #0 - TITLE STATEMENT | |
| Title | System verilog for verification |
| Remainder of title | : A guide to learning the Testbench Language Features |
| 250 ## - EDITION STATEMENT | |
| Edition statement | 2nd |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. | |
| Place of publication, distribution, etc. | New Delhi |
| Name of publisher, distributor, etc. | Springer |
| Date of publication, distribution, etc. | 2008 |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | xxxiii,429p. |
| Dimensions | 23.8*16.3 cm |
| Other physical details | | Binding- Hard Bound | |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc. | "As digital integrated circuits relentlessly march towards a billion transistors and beyond, Verilog testbenches are running out of steam. With logic verification taking more effort than design, moving to a higher level of abstraction is the only choice. SystemVerilog appears to be the winner in the high-level verification language market and "SystemVerilog for Verification" is the book that will take working professionals and students alike from basic Verilog to the sophisticated structures needed to verify large and complex designs." Ronald W. Mehler, Professor of Electrical and Computer Engineering, California State University Northridge "It can be difficult to improve upon a great book, but Chris has achieved that goal - the second edition of this book is even better than the first! |
| Expansion of summary note | The explanations of abstract verification constructs are more detailed, and many more comprehensive examples make it easier to see how to apply SystemVerilog in object-oriented verification. The new chapter on the SystemVerilog Direct Programming Interface (DPI) is a very valuable addition. This second edition is a must-have book for every engineer involved in Verilog and SystemVerilog design and verification. The book serves well both as a general SystemVerilog reference and for learning object-oriented verification techniques. This book is such an invaluable reference, that my company includes a copy as part of the student training materials with every SystemVerilog verification course we teach!" Stuart Sutherland, SystemVerilog Training Consultant, Sutherland HDL, Inc. Chris Spear is a Verification Consultant for Synopsys, and has advised companies around the world on testbench methodology. He has trained hundreds of engineers on SystemVerilog’s verification constructs. Testbenches are growing more complex. You need this book to keep up. Includes nearly 500 code samples and 70 figures. |
| 650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| 9 (RLIN) | 4619 |
| Topical term or geographic name entry element | EXTC Engineering |
| 856 ## - ELECTRONIC LOCATION AND ACCESS | |
| Uniform Resource Identifier | https://www.springer.com/in/book/9781441945617 |
| Public note | Preview on Springer |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | Text Books |
| Source of classification or shelving scheme | |
| Withdrawn status | Lost status | Source of classification or shelving scheme | Damaged status | Not for loan | Collection code | Permanent Location | Current Location | Shelving location | Date acquired | Source of acquisition | Coded location qualifier | Cost, normal purchase price | Full call number | Barcode | Date last seen | Cost, replacement price | Koha item type |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Not For Loan | Reference | School of Engineering & Technology | School of Engineering & Technology | Reference Section | 2017-04-03 | Medico's Book Aid | 1036.00 | 1036.00 | 621.395 SPE | E13397 | 2024-06-28 | 1295.00 | Text Books | ||||
| Circulation | School of Engineering & Technology | School of Engineering & Technology | General Stacks | 2018-10-31 | 2 | 1036.00 | 1036.00 | 621.395 SPE | E14558 | 2024-06-29 | 1295.00 | Text Books |