Hardware Specification, Verification and Synthesis: Mathematical Aspects, Miriam Leeser; Geoffrey Brown

Автор: Mike Mintz; Robert Ekendahl
Название: Hardware Verification with C++
ISBN: 1489978976 ISBN-13(EAN): 9781489978974
Издательство: Springer
Рейтинг:
Цена: 25853.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Describes a small verification library with a concentration on user adaptability such as re-useable components, portable Intellectual Property, and co-verification.Takes a realistic view of reusability and distills lessons learned down to a tool box of techniques and guidelines.

Автор: Valeria Bertacco
Название: Scalable Hardware Verification with Symbolic Simulation
ISBN: 1441937390 ISBN-13(EAN): 9781441937391
Издательство: Springer
Рейтинг:
Цена: 14365.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book is intended as an innovative overview of current formal verification methods, combined with an in-depth analysis of some advanced techniques to improve the scalability of these methods, and close the gap between design and verification in computer-aided design.

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

Автор: Charles Rattray
Название: Specification and Verification of Concurrent Systems
ISBN: 3540195815 ISBN-13(EAN): 9783540195818
Издательство: Springer
Рейтинг:
Цена: 12157.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: "Papers presented at the BCS-FACS Workshop on Specification and Verification of Concurrent Systems held on 6-8 July 1988, at the University of Stirling, Scotland"--Pref.

Автор: Arturo Sanchez
Название: Formal Specification and Synthesis of Procedural Controllers for Process Systems
ISBN: 3540760210 ISBN-13(EAN): 9783540760214
Издательство: Springer
Рейтинг:
Цена: 12157.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The operation of process plants involves a large number of event-driven activities, such as the start-up and shut-down of the plant, the execution of emergency procedures and equipment interlocking. Despite the extent to which these control systems are used in practice, limited theoretical frameworks exist to support their analysis and design.

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

Автор: Amaru
Название: New Data Structures and Algorithms for Logic Synthesis and Verification
ISBN: 3319431730 ISBN-13(EAN): 9783319431734
Издательство: Springer
Рейтинг:
Цена: 12157.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

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

Автор: Paolo Enrico Camurati; Hans Eveking
Название: Correct Hardware Design and Verification Methods
ISBN: 3540603859 ISBN-13(EAN): 9783540603856
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The proceedings of the IFIP WG10.5 Advanced Research Working Conference on Correct Hardware Design Methodologies. This volume covers model checking, theorem proving, formally verified synthesis, process algebras, finite state systems, verification environments, language containment and VHDL.

Автор: Karen Yorav
Название: Hardware and Software: Verification and Testing
ISBN: 3540779647 ISBN-13(EAN): 9783540779643
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.