MARC details
| 000 -LEADER |
|---|
| fixed length control field |
02158cam a2200337Ii 4500 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
150716s2015 000 0 eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
1500385786 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9781500385781 |
| 035 ## - SYSTEM CONTROL NUMBER |
|---|
| System control number |
(OCoLC)903912234 |
| 040 ## - CATALOGING SOURCE |
|---|
| Original cataloging agency |
MNU |
| Language of cataloging |
eng |
| Description conventions |
rda |
| Transcribing agency |
MNU |
| Modifying agency |
OCLCF |
| 082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
621.395 |
| 100 1# - MAIN ENTRY--PERSONAL NAME |
|---|
| Personal name |
Thomas, D. E. |
| Fuller form of name |
(Donald E.), |
| Dates associated with a name |
1951- |
| 245 10 - TITLE STATEMENT |
|---|
| Title |
Logic design and verification using SystemVerilog / |
| Statement of responsibility, etc. |
Donald Thomas. |
| 264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE |
|---|
| Place of production, publication, distribution, manufacture |
[Lexington, Kentucky] : |
| Name of producer, publisher, distributor, manufacturer |
CreateSpace, |
| Date of production, publication, distribution, manufacture, or copyright notice |
[2014] |
| 264 #3 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE |
|---|
| Place of production, publication, distribution, manufacture |
Lexington, KY : |
| Name of producer, publisher, distributor, manufacturer |
CreateSpace, |
| Date of production, publication, distribution, manufacture, or copyright notice |
2014. |
| 264 #4 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE |
|---|
| Date of production, publication, distribution, manufacture, or copyright notice |
©2014 |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
xxii, 303 pages : |
| Other physical details |
illustrations ; |
| Dimensions |
25 cm ; |
| Accompanying material |
pbk. |
| 336 ## - CONTENT TYPE |
|---|
| Content type code |
txt |
| 337 ## - MEDIA TYPE |
|---|
| Media type code |
n |
| 338 ## - CARRIER TYPE |
|---|
| Carrier type code |
nc |
| 500 ## - GENERAL NOTE |
|---|
| General note |
Includes index. |
| 505 0# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
Tutorial introduction -- Combinational logic -- Finite state machines -- The snychronous assumption -- Hardware threads (FSM-D) -- Interfacing -- Testbenches -- Concurrent testbenches -- Assertions and sequences -- Functional coverage -- Procedural models -- Structural models -- Arrays -- Simulation kernel. |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc. |
The book assumes a basic background in logic design and software programming concepts. It is directed at students, designers who want to update their skills from Verilog or VHDL, and, to students in VLSI design and advanced logic design courses that include verification and design topics. The book starts with a tutorial introduction on hardware description languages and simulation, proceeds to the register-transfer design topics of combinational and finite state machine (FSM) design ; covers the design of FSM-datapath designs and their interfaces, including SystemVerilog interfaces ; then moves to the more advanced topics of writing testbenches including using assertions and functional coverage.--Paraphrased from distributor's web site. |
| 590 ## - LOCAL NOTE (RLIN) |
|---|
| a |
69.99 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
SystemVerilog (Computer hardware description language) |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Electronic circuits. |
| 9 (RLIN) |
3240 |
| 902 ## - LOCAL DATA ELEMENT B, LDB (RLIN) |
|---|
| a |
161122 |
| 907 ## - LOCAL DATA ELEMENT G, LDG (RLIN) |
|---|
| a |
.b10469321 |
| b |
cgen |
| c |
- |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) |
|---|
| Suppress in OPAC |
0 |
| 998 ## - LOCAL CONTROL INFORMATION (RLIN) |
|---|
| Operator's initials, OID (RLIN) |
0 |
| Cataloger's initials, CIN (RLIN) |
150716 |
| First Date, FD (RLIN) |
m |
| Local |
a |
| -- |
- |
| -- |
0 |