Контакты/Проезд  Доставка и Оплата Помощь/Возврат
История
  +7(495) 980-12-10
  пн-пт: 10-18 сб,вс: 11-18
  shop@logobook.ru
   
    Поиск книг                    Поиск по списку ISBN Расширенный поиск    
Найти
  Зарубежные издательства Российские издательства  
Авторы | Каталог книг | Издательства | Новинки | Учебная литература | Акции | Хиты | |
 

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


Варианты приобретения
Цена: 13974.00р.
Кол-во:
Наличие: Поставка под заказ.  Есть в наличии на складе поставщика.
Склад Америка: Есть  
При оформлении заказа до: 2025-07-28
Ориентировочная дата поставки: Август-начало Сентября
При условии наличия книги у поставщика.

Добавить в корзину
в Мои желания

Автор: Kothanda Umamageswaran; Sheetanshu L. Pandey; Phil
Название:  Formal Semantics and Proof Techniques for Optimizing VHDL Models
ISBN: 9781461373315
Издательство: Springer
Классификация:




ISBN-10: 146137331X
Обложка/Формат: Paperback
Страницы: 158
Вес: 0.27 кг.
Дата издания: 26.10.2012
Язык: English
Размер: 234 x 156 x 10
Основная тема: Engineering
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: 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.


From Smart Grids to Smart Cities: New Challenges in Optimizing Energy Grids

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

Описание: This book addresses different algorithms and applications based on the theory of multiobjective goal attainment optimization.

Digital Design with RTL Design, Verilog and VHDL

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

Digital Design Using VHDL

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

Optimizing Wireless Communication Systems

Автор: Francisco Rodrigo Porto Cavalcanti; S?ren Andersso
Название: Optimizing Wireless Communication Systems
ISBN: 1489982930 ISBN-13(EAN): 9781489982933
Издательство: Springer
Рейтинг:
Цена: 33401.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

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

VHDL: Hardware Description and Design

Автор: Roger Lipsett; Carl F. Schaefer; Cary Ussery
Название: VHDL: Hardware Description and Design
ISBN: 1461289017 ISBN-13(EAN): 9781461289012
Издательство: Springer
Рейтинг:
Цена: 27951.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

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

Quick-Turnaround ASIC Design in VHDL

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

Application-Specific Hardware Architecture Design with VHDL

Автор: Bogdan Belean
Название: Application-Specific Hardware Architecture Design with VHDL
ISBN: 3319650238 ISBN-13(EAN): 9783319650234
Издательство: Springer
Рейтинг:
Цена: 15372.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

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

VHDL for Simulation, Synthesis and Formal Proofs of Hardware

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

Hardware Design and Simulation in VAL/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.

The VHDL Handbook

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

Introduction to VHDL

Автор: R.D. Hunter
Название: Introduction to VHDL
ISBN: 0412813408 ISBN-13(EAN): 9780412813405
Издательство: Springer
Рейтинг:
Цена: 15672.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

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

Synthesizable VHDL Design for FPGAs

Автор: Eduardo Augusto Bezerra; Djones Vinicius Lettnin
Название: Synthesizable VHDL Design for FPGAs
ISBN: 3319377337 ISBN-13(EAN): 9783319377339
Издательство: Springer
Рейтинг:
Цена: 14365.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Honed over two decades of teaching, this text is an excellent graded guide to very-high-speed integrated circuits hardware description language (VHDL), as implemented in two discrete field-programmable gate array (FPGA) platforms, one of which is widely used.


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