gogo
Amazon cover image
Image from Amazon.com

Logic design and verification using SystemVerilog / Donald Thomas.

By: Material type: TextTextPublisher: [Lexington, Kentucky] : CreateSpace, [2014]Manufacturer: Lexington, KY : CreateSpace, 2014Copyright date: ©2014Description: xxii, 303 pages : illustrations ; 25 cm ; pbkContent type:
Media type:
Carrier type:
ISBN:
  • 1500385786
  • 9781500385781
Subject(s): DDC classification:
  • 621.395
Contents:
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.
Summary: 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.
Holdings
Item type Current library Call number Copy number Status Date due Barcode
General Lending Carlow Campus Library General Lending 621.395 (Browse shelf(Opens below)) 1 Available 78336

Includes index.

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.

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.

69.99

Powered by Koha