The e Hardware Verification Language, Sasan Iman; Sunita Joshi

Автор: Mike Mintz; Robert Ekendahl
Название: Hardware Verification with C++
ISBN: 1489978976 ISBN-13(EAN): 9781489978974
Издательство: Springer
Рейтинг:
Цена: 25853.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Describes a small verification library with a concentration on user adaptability such as re-useable components, portable Intellectual Property, and co-verification.Takes a realistic view of reusability and distills lessons learned down to a tool box of techniques and guidelines.

Автор: Valeria Bertacco
Название: Scalable Hardware Verification with Symbolic Simulation
ISBN: 1441937390 ISBN-13(EAN): 9781441937391
Издательство: Springer
Рейтинг:
Цена: 14365.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book is intended as an innovative overview of current formal verification methods, combined with an in-depth analysis of some advanced techniques to improve the scalability of these methods, and close the gap between design and verification in computer-aided design.

Автор: Thomas Kropf
Название: Introduction to Formal Hardware Verification
ISBN: 364208477X ISBN-13(EAN): 9783642084775
Издательство: Springer
Рейтинг:
Цена: 10475.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This advanced textbook presents an almost complete overview of techniques for hardware verification. It covers all approaches used in existing tools, such as binary and word-level decision diagrams, symbolic methods for equivalence and temporal logic model checking, and introduces the use of higher-order logic theorem proving for verifying circuit correctness. Each chapter contains an introduction and a summary as well as a section for the advanced reader, aiding an understanding of the advantages and limitations of each technique. Backed by many examples and illustrations, this text will appeal to a broad audience, from beginners in system design to experts. XXXXXXX Neuer Text This is a complete overview of existing techniques for hardware verification. It covers all approaches used in existing verification tools, such as symbolic methods for equivalence checking, temporal logic model checking, and higher-order logic theorem proving for verifying circuit correctness. The book helps readers to understand the advantages and limitations of each technique. Each chapter contains a summary as well as a section for the advanced reader.

Автор: Mike Mintz; Robert Ekendahl
Название: Hardware Verification with System Verilog
ISBN: 1441944087 ISBN-13(EAN): 9781441944085
Издательство: Springer
Рейтинг:
Цена: 19589.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book focuses on Object Orientation Programming and its applications for C++ and SystemVerilog. It includes discussion on why and when certain features should be used. The book also includes an open source verification framework as well as examples.

Автор: Miriam Leeser; Geoffrey Brown
Название: Hardware Specification, Verification and Synthesis: Mathematical Aspects
ISBN: 0387972269 ISBN-13(EAN): 9780387972268
Издательство: Springer
Рейтинг:
Цена: 13275.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Current research into formal methods for hardware design is presented in the papers in this volume. The goal of research in this area is to develop methods of improving the design process and the quality of the resulting designs.

Автор: Graham Birtwistle; P.A. Subrahmanyam
Название: Current Trends in Hardware Verification and Automated Theorem Proving
ISBN: 1461281954 ISBN-13(EAN): 9781461281955
Издательство: Springer
Рейтинг:
Цена: 14673.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Their idea was to model Viper in a sequence of decreasingly abstract levels, each of which concentrated on some aspect ofthe design, such as the flow ofcontrol, the processingofinstructions, and so on. That is, each model would be a specification of the next (less abstract) model, and an implementation of the previous model (if any).

Автор: Ata Elahi; Trevor Arjeski
Название: ARM Assembly Language with Hardware Experiments
ISBN: 3319379542 ISBN-13(EAN): 9783319379548
Издательство: Springer
Рейтинг:
Цена: 11753.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book provides a hands-on approach to learning ARM assembly language with the use of a TI microcontroller. The text covers ARM Assembly Language, ARM Cortex Architecture and its components, and Hardware Experiments using TILM3S1968. Written for those interested in learning embedded programming using an ARM Microcontroller.

Автор: Ata Elahi; Trevor Arjeski
Название: ARM Assembly Language with Hardware Experiments
ISBN: 3319117033 ISBN-13(EAN): 9783319117034
Издательство: Springer
Рейтинг:
Цена: 15672.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book provides a hands-on approach to learning ARM assembly language with the use of a TI microcontroller. The text covers ARM Assembly Language, ARM Cortex Architecture and its components, and Hardware Experiments using TILM3S1968. Written for those interested in learning embedded programming using an ARM Microcontroller.

Автор: Donald E. Thomas; Philip R. Moorby
Название: The Verilog® Hardware Description Language
ISBN: 1461367840 ISBN-13(EAN): 9781461367840
Издательство: Springer
Рейтинг:
Цена: 14365.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The Verilog language is a hardware description language which provides a means of specifying a digital system at a wide range of levels of abstraction. It is sometimes difficult to separate the language from the simulator tool because the dynamic aspects of the language are defined by the way the simulator works.

Автор: Thomas, Donald Moorby, Philip
Название: Verilog hardware description language
ISBN: 0387849300 ISBN-13(EAN): 9780387849300
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This edition presents the new IEEE 1364-2001 standard of The Verilog Hardware Description Language. It offers updated examples that illustrated the new features of the language as well as a cross- referenced guide to the new and old features.

Автор: H. Alan Mantooth; Mike F. Fiegenbaum
Название: Modeling with an Analog Hardware Description Language
ISBN: 0792395166 ISBN-13(EAN): 9780792395164
Издательство: Springer
Рейтинг:
Цена: 27944.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Modeling with an Analog Hardware Description Language spells out, in general terms, what modeling with an analog hardware description language (AHDL) adds to the existing field of computer simulation, using specific examples to develop this understanding.