Formal Semantics and Proof Techniques for Optimizing VHDL Models, Kothanda Umamageswaran; Sheetanshu L. Pandey; Phil

Автор: Jean-Michel Berg?; Alain Fonkoua; Serge Maginot; J
Название: VHDL Designer`s Reference
ISBN: 0792317564 ISBN-13(EAN): 9780792317562
Издательство: Springer
Рейтинг:
Цена: 277650.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The success of the introduction of VHDL in a company depends on solutions to many questions that should be answered months before the first line of code is written: * Why choose VHDL? * Which VHDL tools should be chosen? * How should the VHDL environment be customized? * What are the differences between VHDL and other competing HDLs?

Автор: Massimo La Scala, Sergio Bruno, Carlo Alberto Nucci, S. Lamonaca, U. Stecchi
Название: From Smart Grids to Smart Cities: New Challenges in Optimizing Energy Grids
ISBN: 1848217498 ISBN-13(EAN): 9781848217492
Издательство: Wiley
Рейтинг:
Цена: 146730.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book addresses different algorithms and applications based on the theory of multiobjective goal attainment optimization.

Автор: Francisco Rodrigo Porto Cavalcanti; S?ren Andersso
Название: Optimizing Wireless Communication Systems
ISBN: 1489982930 ISBN-13(EAN): 9781489982933
Издательство: Springer
Рейтинг:
Цена: 222670.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book is a comprehensive collection of advanced concepts divided into two main parts: resource allocation and adaptive transceivers for link optimization. These two research areas are at the core of the recent advances in wireless communication systems.

Автор: 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.

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

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

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

Автор: 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.

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

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

Автор: R.D. Hunter
Название: Introduction to VHDL
ISBN: 0412813408 ISBN-13(EAN): 9780412813405
Издательство: Springer
Рейтинг:
Цена: 104480.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book is based on extensive experience teaching VHDL to undergraduate students at the University of Portsmouth, UK, and to engineers in industry through short courses run by Mentor Graphics Corporation, USA.