+7(495) 980-12-10
  10:00-18:00 пн-сб
    Поиск книг                    Поиск по списку ISBN Расширенный поиск    
  Зарубежные издательства Российские издательства  
  Авторы | Каталог книг | Издательства | Новинки | Учебная литература | Специальные предложения | Бестселлеры
Вход в систему
Читайте отзывы покупателей и оценивайте качество магазина на Яндекс.Маркете
Online Каталоги
Каталог учебной литературы
по английскому языку >>>

Каталог учебной литературы
по английскому языку >>>

Digital Integrated Circuit Design Using Verilog and SystemVerilog, Ronald W. Mehler

Варианты приобретения
Цена: 6391р.   7101р. -10%
Наличие: Поставка под заказ.  Есть в наличии на складе поставщика.
Склад Англия: 4 шт.  Склад Америка: 97 шт.  
При оформлении заказа до: 26 апр 2019
Ориентировочная дата поставки: середина-конец Мая

Добавить в корзину
в Мои желания
Автор: Ronald W. Mehler
Название:  Digital Integrated Circuit Design Using Verilog and SystemVerilog   (Роналд У. Мелер: Разработка цифровых интегральных схем с помощью пакета Verliog)
Издательство: Elsevier Science
Электронная техника

ISBN: 0124080596
ISBN-13(EAN): 9780124080591
ISBN: 0-12-408059-6
ISBN-13(EAN): 978-0-12-408059-1
Обложка/Формат: Hardback
Страницы: 448
Вес: 1.026 кг.
Дата издания: 30.09.2014
Язык: ENG
Иллюстрации: Approx. 150 illustrations
Размер: 245 x 199 x 32
Читательская аудитория: Professional & vocational
Ссылка на Издательство: Link
Поставляется из: Англии
Описание: For those with a basic understanding of digital design, this book teaches the essential skills to design digital integrated circuits using Verilog and the relevant extensions of SystemVerilog. In addition to covering the syntax of Verilog and SystemVerilog, the author provides an appreciation of design challenges and solutions for producing working circuits. The book covers not only the syntax and limitations of HDL coding, but deals extensively with design problems such as partitioning and synchronization, helping you to produce designs that are not only logically correct, but will actually work when turned into physical circuits. Throughout the book, many small examples are used to validate concepts and demonstrate how to apply design skills. This book takes readers who have already learned the fundamentals of digital design to the point where they can produce working circuits using modern design methodologies. It clearly explains what is useful for circuit design and what parts of the languages are only software, providing a non-theoretical, practical guide to robust, reliable and optimized hardware design and development.
Дополнительное описание:

Design Through Verilog HDL

Автор: T. R. Padmanabhan
Название: Design Through Verilog HDL
ISBN: 0471441481 ISBN-13(EAN): 9780471441489
Издательство: Wiley
Цена: 8924 р. 12749.00 -30%
Наличие на складе: Есть (1 шт.)
Описание: A comprehensive resource on Verilog HDL for beginners and experts Large and complicated digital circuits can be incorporated into hardware by using Verilog, a hardware description language (HDL). A designer aspiring to master this versatile language must first become familiar with its constructs, practice their use in real applications, and apply them in combinations in order to be successful. Design Through Verilog HDL affords novices the opportunity to perform all of these tasks, while also offering seasoned professionals a comprehensive resource on this dynamic tool. Describing a design using Verilog is only half the story: writing test-benches, testing a design for all its desired functions, and how identifying and removing the faults remain significant challenges. Design Through Verilog HDL addresses each of these issues concisely and effectively. The authors discuss constructs through illustrative examples that are tested with popular simulation packages, ensuring the subject matter remains practically relevant. Other important topics covered include: Primitives Gate and Net delays Buffers CMOS switches State machine design Further, the authors focus on illuminating the differences between gate level, data flow, and behavioral styles of Verilog, a critical distinction for designers. The book's final chapters deal with advanced topics such as timescales, parameters and related constructs, queues, and switch level design. Each chapter concludes with exercises that both ensure readers have mastered the present material and stimulate readers to explore avenues of their own choosing. Written and assembled in a paced, logical manner, Design Through Verilog HDL provides professionals, graduate students, and advanced undergraduates with a one-of-a-kind resource.

Principles of Verifiable RTL Design / A Functional Coding Style Supporting Verification Processes in Verilog

Автор: Bening Lionel, Foster Harry D.
Название: Principles of Verifiable RTL Design / A Functional Coding Style Supporting Verification Processes in Verilog
ISBN: 0792373685 ISBN-13(EAN): 9780792373681
Издательство: Springer
Цена: 17475 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The first edition of Principles of Verifiable RTL Design offered a common sense method for simplifying and unifying assertion specification by creating a set of predefined specification modules that could be instantiated within the designer's RTL. Since the release of the first edition, an entire industry-wide initiative for assertion specification has emerged based on ideas presented in the first edition. This initiative, known as the Open Verification Library Initiative (www.verificationlib.org), provides an assertion interface standard that enables the design engineer to capture many interesting properties of the design and precludes the need to introduce new HDL constructs (i.e., extensions to Verilog are not required). Furthermore, this standard enables the design engineer to `specify once,' then target the same RTL assertion specification over multiple verification processes, such as traditional simulation, semi-formal and formal verification tools. The Open Verification Library Initiative is an empowering technology that will benefit design and verification engineers while providing unity to the EDA community (e.g., providers of testbench generation tools, traditional simulators, commercial assertion checking support tools, symbolic simulation, and semi-formal and formal verification tools). The second edition of Principles of Verifiable RTL Design expands the discussion of assertion specification by including a new chapter entitled `Coverage, Events and Assertions'. All assertions exampled are aligned with the Open Verification Library Initiative proposed standard. Furthermore, the second edition provides expanded discussions on the following topics: start-up verification; the place for 4-state simulation; race conditions; RTL-style-synthesizable RTL (unambiguous mapping to gates); more `bad stuff'. The goal of the second edition is to keep the topic current. Principles of Verifiable RTL Design, A Functional Coding Style Supporting Verification Processes, Second Edition tells you how you can write Verilog to describe chip designs at the RTL level in a manner that cooperates with verification processes. This cooperation can return an order of magnitude improvement in performance and capacity from tools such as simulation and equivalence checkers. It reduces the labor costs of coverage and formal model checking by facilitating communication between the design engineer and the verification engineer. It also orients the RTL style to provide more useful results from the overall verification process.

Verilog for Digital Design

Автор: Vahid
Название: Verilog for Digital Design
ISBN: 0470052627 ISBN-13(EAN): 9780470052624
Издательство: Wiley
Цена: 10969 р.
Наличие на складе: Нет в наличии.

Описание: Digital Design provides a modern approach to learning the increasingly important topic of digital systems design. The text's focus on register-transfer-level design and present-day applications not only leads to a better appreciation of computers and of today's ubiquitous digital devices, but also provides for a better understanding of careers involving digital design and embedded system design. Verilog for Digital Design can be used as a standalone introductory guide or can be used in tandem with Vahid's Digital Design to allow for greater language coverage.

Verilog for Digital Design Set

Автор: Vahid
Название: Verilog for Digital Design Set
ISBN: 0470100141 ISBN-13(EAN): 9780470100141
Издательство: Wiley
Цена: 15571 р.
Наличие на складе: Нет в наличии.

Design Recipes for FPGAs: Using Verilog and VHDL,

Автор: Peter Wilson
Название: Design Recipes for FPGAs: Using Verilog and VHDL,
ISBN: 0750668458 ISBN-13(EAN): 9780750668453
Издательство: Elsevier Science
Цена: 4764 р.
Наличие на складе: Поставка под заказ.

Описание: Using a modular structure, this book gives several design techniques and templates, together with functional code, which engineers can easily apply to their applications. It enables the experienced FPGA designer to select the right design for their application, while providing the less experienced with a road map to solve their design problem.

Designing Digital Computer Systems with Verilog

Автор: Lilja
Название: Designing Digital Computer Systems with Verilog
ISBN: 052182866X ISBN-13(EAN): 9780521828666
Издательство: Cambridge Academ
Цена: 4683 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book explains how to specify, design, and test a complete digital system using Verilog.

Verilog and SystemVerilog Gotchas / 101 Common Coding Errors and How to Avoid Them

Автор: Sutherland Stuart, Mills Don
Название: Verilog and SystemVerilog Gotchas / 101 Common Coding Errors and How to Avoid Them
ISBN: 0387717145 ISBN-13(EAN): 9780387717142
Издательство: Springer
Цена: 12233 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: In programming, “Gotcha” is a well known term. A gotcha is a language feature, which, if misused, causes unexpected - and, in hardware design, potentially disastrous - behavior. The purpose of this book is to enable engineers to write better Verilog/SystemVerilog design and verification code, and to deliver digital designs to market more quickly.This book shows over 100 common coding mistakes that can be made with the Verilog and SystemVerilog languages. Each example explains in detail the symptoms of the error, the languages rules that cover the error, and the correct coding style to avoid the error. The book helps digital design and verification engineers to recognize these common coding mistakes, and know how to avoid them. Many of these errors are very subtle, and can potentially cost hours or days of lost engineering time trying to find and debug the errors.This book is unique because while there are many books that teach the language, and a few that try to teach coding style, no other book addresses how to recognize and avoid coding errors with these languages.

SystemVerilog For Design / A Guide to Using SystemVerilog for Hardware Design and Modeling

Автор: Sutherland Stuart, Davidmann Simon, Flake Peter
Название: SystemVerilog For Design / A Guide to Using SystemVerilog for Hardware Design and Modeling
ISBN: 1402075308 ISBN-13(EAN): 9781402075308
Издательство: Springer
Цена: 11127 р.
Наличие на складе: Поставка под заказ.

Описание: 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 programs to efficiently and effectively verify these large designs.This book, SystemVerilog for Design, addresses the first aspect of the SystemVerilog extensions to Verilog. Important modeling features are presented, such as two-state data types, enumerated types, user-defined types, structures, unions, and interfaces. Emphasis is placed on the proper usage of these enhancements for simulation and synthesis. A companion to this book, SystemVerilog for Verification, covers the second aspect of SystemVerilog.

SystemVerilog for Design

Автор: Sutherland
Название: SystemVerilog for Design
ISBN: 0387333991 ISBN-13(EAN): 9780387333991
Издательство: Springer
Цена: 15894 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: In its updated second edition, this book has been rewritten chapter-by-chapter to accurately reflect the syntax and semantic changes to the SystemVerilog language standard, making it an essential reference for systems professionals who need the latest version information

Writing Testbenches using SystemVerilog

Автор: Bergeron
Название: Writing Testbenches using SystemVerilog
ISBN: 0387292217 ISBN-13(EAN): 9780387292212
Издательство: Springer
Цена: 15728 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Verification is too often approached in an ad hoc fashion. Visually inspecting simulation results is no longer feasible and the directed test-case methodology is reaching its limit. Moore's Law demands a productivity revolution in functional verification methodology.Writing Testbenches Using SystemVerilog offers a clear blueprint of a verification process that aims for first-time success using the SystemVerilog language. From simulators to source management tools, from specification to functional coverage, from I's and O's to high-level abstractions, from interfaces to bus-functional models, from transactions to self-checking testbenches, from directed testcases to constrained random generators, from behavioral models to regression suites, this book covers it all.Writing Testbenches Using SystemVerilog presents many of the functional verification features that were added to the Verilog language as part of SystemVerilog. Interfaces, virtual modports, classes, program blocks, clocking blocks and others SystemVerilog features are introduced within a coherent verification methodology and usage model.Writing Testbenches Using SystemVerilog introduces the reader to all elements of a modern, scalable verification methodology. It is an introduction and prelude to the verification methodology detailed in the Verification Methodology Manual for SystemVerilog.

SystemVerilog for Verification / A Guide to Learning the Testbench Language Features

Автор: Spear Chris
Название: SystemVerilog for Verification / A Guide to Learning the Testbench Language Features
ISBN: 0387270361 ISBN-13(EAN): 9780387270364
Издательство: Springer
Цена: 9345 р.
Наличие на складе: Поставка под заказ.

Описание: SystemVerilog for Verification teaches the reader how to use the power of the new SystemVerilog testbench constructs plus methodology without requiring in-depth knowledge of Object Oriented Programming or Constrained Random Testing. The book covers the SystemVerilog verification constructs such as classes, program blocks, C interface, randomization, and functional coverage. SystemVerilog for Verification also reviews some design topics such as interfaces and array types. There are extensive code examples and detailed explanations. The book will be based on Synopsys courses, seminars, and tutorials that the author developed for SystemVerilog, Vera, RVM, and OOP. Concepts will be built up chapter-by-chapter, and detailed testbench using these topics will be presented in the final chapter. SystemVerilog for Verification concentrates on the best practices for verifying your design using the power of the language.  

A Practical Guide for SystemVerilog Assertions

Автор: Vijayaraghavan Srikanth, Ramanathan Meyyappan
Название: A Practical Guide for SystemVerilog Assertions
ISBN: 0387260498 ISBN-13(EAN): 9780387260495
Издательство: Springer
Цена: 17476 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: SystemVerilog language consists of three very specific areas of constructs -- design, assertions and testbench.  Assertions add a whole new dimension to the ASIC verification process.  Assertions provide a better way to do verification proactively.  Traditionally, engineers are used to writing verilog test benches that help simulate their design.  Verilog is a procedural language and is very limited in capabilities to handle the complex Asic's built today.  SystemVerilog assertions (SVA) are a declarative and temporal language that provides excellent control over time and parallelism.  This provides the designers a very strong tool to solve their verification problems.  While the language is built solid, the thinking is very different from the user's perspective when compared to standard verilog language.  The concept is still very new and there is not enough expertise in the field to adopt this methodology and be successful.  While the language has been defined very well, there is no practical guide that shows how to use the language to solve real verification problems.  This book will be the practical guide that will help people to understand this new methodology."Today's SoC complexity coupled with time-to-market and first-silicon success pressures make assertion based verification a requirement and this book points the way to effective use of assertions."Satish S. Iyengar, Director, ASIC Engineering, Crimson Microsystems, Inc."This book benefits both the beginner and the more advanced users of SystemVerilog Assertions (SVA).  First by introducing the concept of Assertion Based Verification (ABV) in a simple to understand way, then by discussing the myriad of ideas in a broader scope that SVA can accommodate.  The many real life examples, provided throughout the book, are especially useful."Irwan Sie, Director, IC Design, ESS Technology, Inc."SystemVerilog Assertions is a new language that can find and isolate bugs early in the design cycle.  This book shows how to verify complex protocols and memories using SVA with seeral examples.  This book is a good reference guide for both design and verification engineers."Derick Lin, Senior Director, Engineering, Airgo Networks, Inc.

ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
   В Контакте  Мобильная версия