Описание: 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.
Автор: Gary D. Hachtel; Fabio Somenzi Название: Logic Synthesis and Verification Algorithms ISBN: 1475770367 ISBN-13(EAN): 9781475770360 Издательство: Springer Рейтинг: Цена: 10448.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Logic Synthesis and Verification Algorithms is a textbook designed for courses on VLSI Logic Synthesis and Verification, Design Automation, CAD and advanced level discrete mathematics. Logic Synthesis and Verification Algorithms is about the theoretical underpinnings of VLSI (Very Large Scale Integrated Circuits).
Автор: Sandeep Sen, Amit Kumar Название: Design and Analysis of Algorithms: A Contemporary Perspective ISBN: 1108496822 ISBN-13(EAN): 9781108496827 Издательство: Cambridge Academ Рейтинг: Цена: 7445.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: A valuable text in the field of computer science and engineering, covering fundamental concepts and recent advancements. To help the reader to design/redesign algorithms for their requirements rather than be overawed by the challenges of a new framework.
Описание: This undergraduate textbook is a concise introduction to the basic toolbox of structures that allow efficient organization and retrieval of data, key algorithms for problems on graphs, and generic techniques for modeling, understanding, and solving algorithmic problems.
Описание: This volume focuses on the analysis and design of analog signal processing circuits. The author presents a multitude of design techniques to improve the performance of analog signal processing circuits, and proposes specific implementation strategies that can be used in CMOS technology.
Описание: Next, the book presents the GeneTech tool (A technology mapping tool for genetic circuits) and the methods developed for optimization, synthesis, and technology mapping of genetic circuits. The concepts and algorithms are thoroughly described, enabling readers to improve the tools or use them as a starting point to develop new tools.
Автор: Sanders Peter, Mehlhorn Kurt, Dietzfelbinger Martin Название: Sequential and Parallel Algorithms and Data Structures: The Basic Toolbox ISBN: 3030252116 ISBN-13(EAN): 9783030252113 Издательство: Springer Рейтинг: Цена: 6288.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This textbook is a concise introduction to the basic toolbox of structures that allow efficient organization and retrieval of data, key algorithms for problems on graphs, and generic techniques for modeling, understanding, and solving algorithmic problems.
Автор: Graham Birtwistle; P.A. Subrahmanyam Название: VLSI Specification, Verification and Synthesis ISBN: 1461291976 ISBN-13(EAN): 9781461291978 Издательство: Springer Рейтинг: Цена: 16979.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: VLSI Specification, Verification and Synthesis Proceedings of a workshop held in Calgary from 12-16 January 1987.
Описание: Current research into formal methods for hardware design is presented in the papers in this volume. The goal of research in this area is to develop methods of improving the design process and the quality of the resulting designs.
Автор: George Constantinides; Peter Y.K. Cheung; Wayne Lu Название: Synthesis and Optimization of DSP Algorithms ISBN: 1475779844 ISBN-13(EAN): 9781475779844 Издательство: Springer Рейтинг: Цена: 12577.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Synthesis and Optimization of DSP Algorithms describes approaches taken to synthesising structural hardware descriptions of digital circuits from high-level descriptions of Digital Signal Processing (DSP) algorithms.
Автор: Luciano Lavagno; Alberto L. Sangiovanni-Vincentell Название: Algorithms for Synthesis and Testing of Asynchronous Circuits ISBN: 1461364108 ISBN-13(EAN): 9781461364108 Издательство: Springer Рейтинг: Цена: 30745.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The book is intended for asynchronous hardware designers, for computer-aided tool experts, and for digital designers interested in ex- ploring the possibility of designing asynchronous circuits.
Автор: Abhijit Ghosh; Srinivas Devadas; A. Richard Newton Название: Sequential Logic Testing and Verification ISBN: 1461366224 ISBN-13(EAN): 9781461366225 Издательство: Springer Рейтинг: Цена: 11753.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: For instance, in order design reliable inte- gritted circuits, it is necessary to analyze how decisions regarding design rules affect the yield, i.e., the percentage of functional chips obtained by the manufacturing process.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
