Formal Semantics for VHDL, Carlos Delgado Kloos; P. Breuer

Автор: Vahid Frank
Название: Digital Design with RTL Design, Verilog and VHDL
ISBN: 0470531088 ISBN-13(EAN): 9780470531082
Издательство: Wiley
Рейтинг:
Цена: 38331.00 р.
Наличие на складе: Поставка под заказ.

Описание: Unique with its RTL-early organization, Vahid`s text supports instructors wishing to develop strong design skills in their students. The emergence of parallel processing, multicore processors and FPGAs are blurring the lines between hardware and software and fundamentally altering the way digital design and design logic should be taught.

Автор: N. Bouden-Romdhane; Vijay Madisetti; J.W. Hines
Название: Quick-Turnaround ASIC Design in VHDL
ISBN: 0792397444 ISBN-13(EAN): 9780792397441
Издательство: Springer
Рейтинг:
Цена: 26546.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Modern digital signal processing applications provide a large challenge to the system designer. Algorithms are becoming increasingly complex, and yet they must be realized with tight performance constraints. This book shows a way to effectively resolve this tension by retaining the high-level conciseness of VHDL.

Автор: Larry M. Augustin; David C. Luckham; Benoit A. Gen
Название: Hardware Design and Simulation in VAL/VHDL
ISBN: 0792390873 ISBN-13(EAN): 9780792390879
Издательство: Springer
Рейтинг:
Цена: 30606.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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.

Автор: David R. Coelho
Название: The VHDL Handbook
ISBN: 0792390318 ISBN-13(EAN): 9780792390312
Издательство: Springer
Рейтинг:
Цена: 26122.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Carlos Delgado Kloos; P. Breuer
Название: Formal Semantics for VHDL
ISBN: 0792395522 ISBN-13(EAN): 9780792395522
Издательство: Springer
Рейтинг:
Цена: 23757.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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.

Автор: Jean Mermet
Название: VHDL for Simulation, Synthesis and Formal Proofs of Hardware
ISBN: 0792392531 ISBN-13(EAN): 9780792392538
Издательство: Springer
Рейтинг:
Цена: 32004.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Presents recent research on four key issues related to the use of VHDL as a standard for hardware description: simulation of circuits using VHDL; the combination of synthesis and VHDL in designing circuits; the formal verification of VHDL designs; and modelling issues and system level design.

Автор: Jean-Michel Berg?; Alain Fonkoua; Serge Maginot; J
Название: VHDL`92
ISBN: 1461364272 ISBN-13(EAN): 9781461364276
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: An open process of restandardization, conducted by the IEEE, has led to the definitions of the new VHDL standard.

Автор: Larry M. Augustin; David C. Luckham; Benoit A. Gen
Название: Hardware Design and Simulation in VAL/VHDL
ISBN: 1461368081 ISBN-13(EAN): 9781461368083
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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.

Автор: Douglas E. Ott; Thomas J. Wilderotter
Название: A Designer`s Guide to VHDL Synthesis
ISBN: 0792394720 ISBN-13(EAN): 9780792394723
Издательство: Springer
Рейтинг:
Цена: 25853.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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.

Автор: Dally
Название: Digital Design Using VHDL
ISBN: 1107098866 ISBN-13(EAN): 9781107098862
Издательство: Cambridge Academ
Рейтинг:
Цена: 10454.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Provides students with a system-level perspective and the tools they need to understand, analyze and design complete digital systems using VHDL. It goes beyond the design of simple combinational and sequential modules to show how such modules are used to build complete systems, reflecting digital design in the real world.

Автор: Randolph E. Harr; Alec G. Stanculescu
Название: Applications of VHDL to Circuit Design
ISBN: 1461367700 ISBN-13(EAN): 9781461367703
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.