Описание: This book introduces new logic primitives for electronic design automation tools. The author approaches fundamental EDA problems from a different, unconventional perspective, in order to demonstrate the key role of rethinking EDA solutions in overcoming technological limitations of present and future technologies. The author discusses techniques that improve the efficiency of logic representation, manipulation and optimization tasks by taking advantage of majority and biconditional logic primitives. Readers will be enabled to accelerate formal methods by studying core properties of logic circuits and developing new frameworks for logic reasoning engines.
Автор: Ashar Djaloeis; S. Devadas; A. Richard Newton Название: Sequential Logic Synthesis ISBN: 079239187X ISBN-13(EAN): 9780792391876 Издательство: Springer Рейтинг: Цена: 20733.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 2 Input Encoding Targeting Two-Level Logic . 3 Satisfying Encoding Constraints . 3 Row-Based Constraint Satisfaction . 4 Constraint Satisfaction Using Dichotomies . 3 Heuristics to Minimize the Number of Encoding Bits . 3 Dominance and Disjunctive Relationships to S- isfy Constraints .
Автор: Felix Winterstein Название: Separation Logic for High-level Synthesis ISBN: 3319532219 ISBN-13(EAN): 9783319532219 Издательство: Springer Рейтинг: Цена: 14635.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book presents novel compiler techniques, which combine a rigorous mathematical framework, novel program analyses and digital hardware design to advance current high-level synthesis tools and extend their scope beyond the industrial `state of the art`.
Автор: Alexander Barkalov; Larysa Titarenko Название: Logic Synthesis for Compositional Microprogram Control Units ISBN: 3642088791 ISBN-13(EAN): 9783642088797 Издательство: Springer Рейтинг: Цена: 17096.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book presents design methods for and hardware amount optimization for compositional microprogram control units (CMCU). It includes new models of control units, methods of their synthesis and a lot of examples.
Автор: Alexander Barkalov; Larysa Titarenko Название: Logic Synthesis for FSM-Based Control Units ISBN: 3642260640 ISBN-13(EAN): 9783642260643 Издательство: Springer Рейтинг: Цена: 17096.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book presents the hardware implementation of control algorithms represented by graph-schemes of algorithm. It includes new methods of logic synthesis and optimization for logic circuits of Mealy and Moore FSMs oriented on both ASIC and FPLD.
Описание: A new generation of power-conscious CAD tools are coming onto the market to help designers estimate, optimize and verify power consumption levels at most stages of the IC design process.
Описание: This book opens the door to a new interesting and ambitious world of reversible and quantum computing research. Top world universities, companies and government institutions are in a race of developing new methodologies, algorithms and circuits on reversible logic, quantum logic, reversible and quantum computing and nano-technologies.
Автор: Sasan Iman; Massoud Pedram Название: Logic Synthesis for Low Power VLSI Designs ISBN: 1461374901 ISBN-13(EAN): 9781461374909 Издательство: Springer Рейтинг: Цена: 17097.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Logic Synthesis for Low Power VLSI Designs presents a systematic and comprehensive treatment of power modeling and optimization at the logic level.
Автор: Saraju P. Mohanty; Nagarajan Ranganathan; Elias Ko Название: Low-Power High-Level Synthesis for Nanoscale CMOS Circuits ISBN: 1441945547 ISBN-13(EAN): 9781441945549 Издательство: Springer Рейтинг: Цена: 18237.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This self-contained book addresses the need for analysis, characterization, estimation, and optimization of the various forms of power dissipation in the presence of process variations of nano-CMOS technologies.
Описание: This book presents fresh research techniques, algorithms, methodologies and experimental results for high-level power estimation and power-aware high-level synthesis. The book will help get products to market quicker and facilitate low-power ASIC/FPGA design.
Описание: Low Power Hardware Synthesis provides an introduction to low-power hardware, providing a high-level description of design in terms of Concurrent Action-Oriented Specifications (CAOS). Novel techniques are described, in addition to various verification issues associated with hardware design.
Автор: Sridhar Gangadharan; Sanjay Churiwala Название: Constraining Designs for Synthesis and Timing Analysis ISBN: 1489989161 ISBN-13(EAN): 9781489989161 Издательство: Springer Рейтинг: Цена: 12537.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This guide to timing constraints in integrated circuit design shows how to maximize performance of IC designs by specifying timing requirements correctly. Coverage includes such design aspects as synthesis, static timing analysis and placement and routing.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
