Electrical Codes, Standards, Recommended Practices and Regulations
Electrical Codes, Standards, Recommended Practices and Regulations

Author: Robert J. Alonzo

Publisher: William Andrew

Published: 2009-12-21

Total Pages: 511

ISBN-13: 0815520468

DOWNLOAD EBOOK

Electrical codes, standards, recommended practices and regulations can be complex subjects, yet are essential in both electrical design and life safety issues.This book demystifies their usage.It is a handbook of codes, standards, recommended practices and regulations in the United States involving electrical safety and design. Many engineers and electrical safety professionals may not be aware of all of those documents and their applicability. This book identifies those documents by category, allowing the ready and easy access to the relevant requirements. Because these documents may be updated on a regular basis, this book was written so that its information is not reliant on the latest edition or release of those codes, standards, recommended practices or regulations.No single document on the market today attempts to not only list the majority of relevant electrical design and safety codes, standards, recommended practices and regulations, but also explain their use and updating cycles. This book, one-stop-information-center for electrical engineers, electrical safety professionals, and designers, does. - Covers the codes, standards, recommended practices and regulations in the United States involving electrical safety and design, providing a comprehensive reference for engineers and electrical safety professionals - Documents are identified by category, enabling easy access to the relevant requirements - Not version-specific; information is not reliant on the latest edition or release of the codes, standards, recommended practices or regulations

Generating Hardware Assertion Checkers
Generating Hardware Assertion Checkers

Author: Marc Boulé

Publisher: Springer Science & Business Media

Published: 2008-06-01

Total Pages: 289

ISBN-13: 1402085869

DOWNLOAD EBOOK

Assertion-based design is a powerful new paradigm that is facilitating quality improvement in electronic design. Assertions are statements used to describe properties of the design (I.e., design intent), that can be included to actively check correctness throughout the design cycle and even the lifecycle of the product. With the appearance of two new languages, PSL and SVA, assertions have already started to improve verification quality and productivity. This is the first book that presents an “under-the-hood” view of generating assertion checkers, and as such provides a unique and consistent perspective on employing assertions in major areas, such as: specification, verification, debugging, on-line monitoring and design quality improvement.

Formal Methods for Industrial Critical Systems
Formal Methods for Industrial Critical Systems

Author: Gwen Salaün

Publisher: Springer Science & Business Media

Published: 2011-09-19

Total Pages: 270

ISBN-13: 3642244300

DOWNLOAD EBOOK

This book constitutes the proceedings of the 16th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2011, held in Trento, Italy, in August 2011. The 16 papers presented together with 2 invited talks were carefully reviewed and selected from 39 submissions. The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. It also strives to promote research and development for the improvement of formal methods and tools for industrial applications.

SVA: The Power of Assertions in SystemVerilog
SVA: The Power of Assertions in SystemVerilog

Author: Eduard Cerny

Publisher: Springer

Published: 2014-08-23

Total Pages: 589

ISBN-13: 3319071394

DOWNLOAD EBOOK

This book is a comprehensive guide to assertion-based verification of hardware designs using System Verilog Assertions (SVA). It enables readers to minimize the cost of verification by using assertion-based techniques in simulation testing, coverage collection and formal analysis. The book provides detailed descriptions of all the language features of SVA, accompanied by step-by-step examples of how to employ them to construct powerful and reusable sets of properties. The book also shows how SVA fits into the broader System Verilog language, demonstrating the ways that assertions can interact with other System Verilog components. The reader new to hardware verification will benefit from general material describing the nature of design models and behaviors, how they are exercised, and the different roles that assertions play. This second edition covers the features introduced by the recent IEEE 1800-2012. System Verilog standard, explaining in detail the new and enhanced assertion constructs. The book makes SVA usable and accessible for hardware designers, verification engineers, formal verification specialists and EDA tool developers. With numerous exercises, ranging in depth and difficulty, the book is also suitable as a text for students.

Introduction to VLSI Systems
Introduction to VLSI Systems

Author: Ming-Bo Lin

Publisher: CRC Press

Published: 2011-11-28

Total Pages: 890

ISBN-13: 1439897328

DOWNLOAD EBOOK

With the advance of semiconductors and ubiquitous computing, the use of system-on-a-chip (SoC) has become an essential technique to reduce product cost. With this progress and continuous reduction of feature sizes, and the development of very large-scale integration (VLSI) circuits, addressing the harder problems requires fundamental understanding

SystemVerilog for Design Second Edition
SystemVerilog for Design Second Edition

Author: Stuart Sutherland

Publisher: Springer Science & Business Media

Published: 2006-09-15

Total Pages: 437

ISBN-13: 0387364951

DOWNLOAD EBOOK

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 information. In addition, the second edition features a new chapter explaining the SystemVerilog "packages", a new appendix that summarizes the synthesis guidelines presented throughout the book, and all of the code examples have been updated to the final syntax and rerun using the latest version of the Synopsys, Mentor, and Cadance tools.

SystemVerilog for Hardware Description
SystemVerilog for Hardware Description

Author: Vaibbhav Taraate

Publisher: Springer Nature

Published: 2020-06-10

Total Pages: 258

ISBN-13: 9811544050

DOWNLOAD EBOOK

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.

System Verilog Assertions and Functional Coverage
System Verilog Assertions and Functional Coverage

Author: Ashok B. Mehta

Publisher: Springer Nature

Published: 2019-10-09

Total Pages: 524

ISBN-13: 3030247376

DOWNLOAD EBOOK

This book provides a hands-on, application-oriented guide to the language and methodology of both SystemVerilog Assertions and Functional Coverage. Readers will benefit from the step-by-step approach to learning language and methodology nuances of both SystemVerilog Assertions and Functional Coverage, which will enable them to uncover hidden and hard to find bugs, point directly to the source of the bug, provide for a clean and easy way to model complex timing checks and objectively answer the question ‘have we functionally verified everything’. Written by a professional end-user of ASIC/SoC/CPU and FPGA design and Verification, this book explains each concept with easy to understand examples, simulation logs and applications derived from real projects. Readers will be empowered to tackle the modeling of complex checkers for functional verification and exhaustive coverage models for functional coverage, thereby drastically reducing their time to design, debug and cover. This updated third edition addresses the latest functional set released in IEEE-1800 (2012) LRM, including numerous additional operators and features. Additionally, many of the Concurrent Assertions/Operators explanations are enhanced, with the addition of more examples and figures. · Covers in its entirety the latest IEEE-1800 2012 LRM syntax and semantics; · Covers both SystemVerilog Assertions and SystemVerilog Functional Coverage languages and methodologies; · Provides practical applications of the what, how and why of Assertion Based Verification and Functional Coverage methodologies; · Explains each concept in a step-by-step fashion and applies it to a practical real life example; · Includes 6 practical LABs that enable readers to put in practice the concepts explained in the book.

Network Infrastructure and Architecture
Network Infrastructure and Architecture

Author: Krzysztof Iniewski

Publisher: John Wiley & Sons

Published: 2008-04-11

Total Pages: 563

ISBN-13: 0470253517

DOWNLOAD EBOOK

A Comprehensive, Thorough Introduction to High-Speed Networking Technologies and Protocols Network Infrastructure and Architecture: Designing High-Availability Networks takes a unique approach to the subject by covering the ideas underlying networks, the architecture of the network elements, and the implementation of these elements in optical and VLSI technologies. Additionally, it focuses on areas not widely covered in existing books: physical transport and switching, the process and technique of building networking hardware, and new technologies being deployed in the marketplace, such as Metro Wave Division Multiplexing (MWDM), Resilient Packet Rings (RPR), Optical Ethernet, and more. Divided into five succinct parts, the book covers: Optical transmission Networking protocols VLSI chips Data switching Networking elements and design Complete with case studies, examples, and exercises throughout, the book is complemented with chapter goals, summaries, and lists of key points to aid readers in grasping the material presented. Network Infrastructure and Architecture offers professionals, advanced undergraduates, and graduate students a fresh view on high-speed networking from the physical layer perspective.

Digital Systems Design with FPGAs and CPLDs
Digital Systems Design with FPGAs and CPLDs

Author: Ian Grout

Publisher: Elsevier

Published: 2011-04-08

Total Pages: 763

ISBN-13: 008055850X

DOWNLOAD EBOOK

Digital Systems Design with FPGAs and CPLDs explains how to design and develop digital electronic systems using programmable logic devices (PLDs). Totally practical in nature, the book features numerous (quantify when known) case study designs using a variety of Field Programmable Gate Array (FPGA) and Complex Programmable Logic Devices (CPLD), for a range of applications from control and instrumentation to semiconductor automatic test equipment.Key features include:* Case studies that provide a walk through of the design process, highlighting the trade-offs involved.* Discussion of real world issues such as choice of device, pin-out, power supply, power supply decoupling, signal integrity- for embedding FPGAs within a PCB based design.With this book engineers will be able to:* Use PLD technology to develop digital and mixed signal electronic systems* Develop PLD based designs using both schematic capture and VHDL synthesis techniques* Interface a PLD to digital and mixed-signal systems* Undertake complete design exercises from design concept through to the build and test of PLD based electronic hardwareThis book will be ideal for electronic and computer engineering students taking a practical or Lab based course on digital systems development using PLDs and for engineers in industry looking for concrete advice on developing a digital system using a FPGA or CPLD as its core. - Case studies that provide a walk through of the design process, highlighting the trade-offs involved. - Discussion of real world issues such as choice of device, pin-out, power supply, power supply decoupling, signal integrity- for embedding FPGAs within a PCB based design.