VHDL for Simulation, Synthesis and Formal Proofs of Hardware, Jean Mermet

Автор: Ahmed Amine Jerraya; Hong Ding; Polen Kission; Mah
Название: Behavioral Synthesis and Component Reuse with VHDL
ISBN: 1461378990 ISBN-13(EAN): 9781461378990
Издательство: Springer
Рейтинг:
Цена: 139750.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The goal of this book is not to discuss behavioral synthesis in general or to discuss a specific tool but to describe the specific issues related to behavioral synthesis of VHDL description.

Автор: Larry M. Augustin; David C. Luckham; Benoit A. Gen
Название: Hardware Design and Simulation in VAL/VHDL
ISBN: 1461368081 ISBN-13(EAN): 9781461368083
Издательство: Springer
Рейтинг:
Цена: 93160.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The VHSIC Hardware Description Language (VHDL) provides a standard machine processable notation for describing hardware. VAL (VHDL Annotation Language) is a simple further step in the evolution of hardware description languages in the direction of applying new methods that have developed since VHDL was designed.

Автор: Larry M. Augustin; David C. Luckham; Benoit A. Gen
Название: Hardware Design and Simulation in VAL/VHDL
ISBN: 0792390873 ISBN-13(EAN): 9780792390879
Издательство: Springer
Рейтинг:
Цена: 204040.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The VHSIC Hardware Description Language (VHDL) provides a standard machine processable notation for describing hardware. VAL (VHDL Annotation Language) is a simple further step in the evolution of hardware description languages in the direction of applying new methods that have developed since VHDL was designed.

Автор: Roland Airiau; Jean-Michel Berg?; Vincent Olive
Название: Circuit Synthesis with VHDL
ISBN: 1461361915 ISBN-13(EAN): 9781461361916
Издательство: Springer
Рейтинг:
Цена: 113190.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Circuit Synthesis with VHDL is an introduction to the use of VHDL logic (RTL) synthesis tools in circuit design. Circuit Synthesis with VHDL is essential reading for all students, researchers, design engineers and managers working with VHDL in a synthesis environment.

Автор: Roger Lipsett; Carl F. Schaefer; Cary Ussery
Название: VHDL: Hardware Description and Design
ISBN: 1461289017 ISBN-13(EAN): 9781461289012
Издательство: Springer
Рейтинг:
Цена: 186340.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Government realized that in order for contractors to be able to work together to develop VLSI products, to document the resulting designs, to be able to reuse the designs in future products, and to efficiently upgrade existing designs, they needed a common communication medium for the design data.

Автор: Carlos Delgado Kloos; P. Breuer
Название: Formal Semantics for VHDL
ISBN: 1461359414 ISBN-13(EAN): 9781461359418
Издательство: Springer
Рейтинг:
Цена: 93160.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: If different tools and users are to generate and read the same language then it is necessary that the same semantics is assigned by them to all constructs and elements of the language. Formal Semantics for VHDL is the first book that puts forward a cohesive set of semantics for the VHDL language.

Автор: Kothanda Umamageswaran; Sheetanshu L. Pandey; Phil
Название: Formal Semantics and Proof Techniques for Optimizing VHDL Models
ISBN: 146137331X ISBN-13(EAN): 9781461373315
Издательство: Springer
Рейтинг:
Цена: 93160.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Written expressly for hardware designers, this book presents a formal model of VHDL clearly specifying both the static and dynamic semantics of VHDL. It provides a mathematical framework for representing VHDL constructs and shows how those constructs can be formally manipulated to reason about VHDL.

Автор: Ben Cohen
Название: VHDL Answers to Frequently Asked Questions
ISBN: 1475726260 ISBN-13(EAN): 9781475726268
Издательство: Springer
Рейтинг:
Цена: 104480.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: VHDL Answers to Frequently asked Questions is a follow-up to the author`s book VHDL Coding Styles and Methodologies (ISBN 0-7923-9598-0).

Автор: Vaibbhav Taraate
Название: PLD Based Design with VHDL
ISBN: 9811032947 ISBN-13(EAN): 9789811032943
Издательство: Springer
Рейтинг:
Цена: 158380.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book covers basic fundamentals of logic design and advanced RTL design concepts using VHDL. The book is organized to describe both simple and complex RTL design scenarios using VHDL. The design guidelines by using VHDL are also explained with the practical examples in this book.

Автор: Douglas E. Ott; Thomas J. Wilderotter
Название: A Designer`s Guide to VHDL Synthesis
ISBN: 1441951431 ISBN-13(EAN): 9781441951434
Издательство: Springer
Рейтинг:
Цена: 172350.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: A Designer`s Guide to VHDL Synthesis is intended for both design engineers who want to use VHDL-based logic synthesis ASICs and for managers who need to gain a practical understanding of the issues involved in using this technology.

Автор: Douglas E. Ott; Thomas J. Wilderotter
Название: A Designer`s Guide to VHDL Synthesis
ISBN: 0792394720 ISBN-13(EAN): 9780792394723
Издательство: Springer
Рейтинг:
Цена: 172350.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: A Designer`s Guide to VHDL Synthesis is intended for both design engineers who want to use VHDL-based logic synthesis ASICs and for managers who need to gain a practical understanding of the issues involved in using this technology.

Автор: Bogdan Belean
Название: Application-Specific Hardware Architecture Design with VHDL
ISBN: 3319650238 ISBN-13(EAN): 9783319650234
Издательство: Springer
Рейтинг:
Цена: 102480.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book guides readers through the design of hardware architectures using VHDL for digital communication and image processing applications that require performance computing. sequential logic, structural and behavioral description, digital circuit design, and finite state machines.