๐”– Scriptorium
โœฆ   LIBER   โœฆ

๐Ÿ“

SystemVerilog for Hardware Description : RTL Design and Verification

โœ Scribed by Vaibbhav Taraate


Publisher
Springer Singapore;Springer
Year
2020
Tongue
English
Leaves
258
Edition
1st ed.
Category
Library

โฌ‡  Acquire This Volume

No coin nor oath required. For personal study only.

โœฆ Synopsis


This book introduces the reader to FPGA based design for RTL synthesis. It describes simple to complex RTL design scenarios using SystemVerilog. The book builds the story from basic fundamentals of FPGA based designs to advance RTL design and verification concepts using SystemVerilog. It provides practical information on the issues in the RTL design and verification and how to overcome these. It focuses on writing efficient RTL codes using SystemVerilog, covers design for the Xilinx FPGAs and also includes implementable code examples. The contents of this book cover improvement of design performance, assertion based verification, verification planning, and architecture and system testing using FPGAs. The book can be used for classroom teaching or as a supplement in lab work for undergraduate and graduate coursework as well as for professional development and training programs. It will also be of interest to researchers and professionals interested in the RTL design for FPGA and ASIC.


โœฆ Table of Contents


Front Matter ....Pages i-xxi
Introduction (Vaibbhav Taraate)....Pages 1-10
SystemVerilog Literal Values and Data Types (Vaibbhav Taraate)....Pages 11-23
Hardware Description Using SystemVerilog (Vaibbhav Taraate)....Pages 25-43
SystemVerilog and OOPS Support (Vaibbhav Taraate)....Pages 45-57
Important SystemVerilog Enhancements (Vaibbhav Taraate)....Pages 59-73
Combinational Design Using SystemVerilog (Vaibbhav Taraate)....Pages 75-87
Sequential Design Using SystemVerilog (Vaibbhav Taraate)....Pages 89-103
RTL Design and Synthesis Guidelines (Vaibbhav Taraate)....Pages 105-127
RTL Design and Strategies for Complex Designs (Vaibbhav Taraate)....Pages 129-148
Finite State Machines (Vaibbhav Taraate)....Pages 149-168
SystemVerilog Ports and Interfaces (Vaibbhav Taraate)....Pages 169-188
Verification Constructs (Vaibbhav Taraate)....Pages 189-200
Verification Techniques and Automation (Vaibbhav Taraate)....Pages 201-215
Advanced Verification Constructs (Vaibbhav Taraate)....Pages 217-231
Verification Case Study (Vaibbhav Taraate)....Pages 233-242
Back Matter ....Pages 243-252

โœฆ Subjects


Engineering; Circuits and Systems; Control Structures and Microprogramming; Electronics and Microelectronics, Instrumentation; Electronic Circuits and Devices


๐Ÿ“œ SIMILAR VOLUMES


SystemVerilog for Design: A Guide to Usi
โœ Stuart Sutherland ๐Ÿ“‚ Library ๐Ÿ“… 2006 ๐Ÿ› Springer ๐ŸŒ English

<P>SystemVerilog is a rich set of extensions to the IEEE 1364-2001 Verilog Hardware Description Language (Verilog HDL). These extensions address two major aspects of HDL-based design. First, modeling very large designs with concise, accurate, and intuitive code. Second, writing high-level test progr

SystemVerilog for Design Second Edition:
โœ Stuart Sutherland, Simon Davidmann, Peter Flake, P. Moorby ๐Ÿ“‚ Library ๐Ÿ“… 2006 ๐Ÿ› Springer ๐ŸŒ English

<P>In its updated second edition, this book has been extensively revised on a chapter by chapter basis. The book accurately reflects the syntax and semantic changes to the SystemVerilog language standard, making it an essential reference for systems professionals who need the latest version informat