Formal Verification of Circuits, Rolf Drechsler

Автор: Robert B. Jones
Название: Symbolic Simulation Methods for Industrial Formal Verification
ISBN: 1461353955 ISBN-13(EAN): 9781461353959
Издательство: Springer
Рейтинг:
Цена: 93160.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume contains two distinct, but related, approaches to the verification problem, both based on symbolic simulation. It describes new ideas that enable the use of formal methods, specifically symbolic simulation, in validating commercial hardware designs of remarkable complexity.

Автор: Masahiro Fujita
Название: Verification Techniques for System-Level Design,
ISBN: 0123706165 ISBN-13(EAN): 9780123706164
Издательство: Elsevier Science
Рейтинг:
Цена: 69610.00 T
Наличие на складе: Поставка под заказ.
Описание: Explains how to verify SoC logic designs using `formal` and `semi-formal` verification techniques. This book covers various aspects of high-level formal and semi-formal verification techniques for system level designs.

Автор: Janick Bergeron
Название: Writing Testbenches: Functional Verification of HDL Models
ISBN: 1461350123 ISBN-13(EAN): 9781461350125
Издательство: Springer
Рейтинг:
Цена: 148020.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: In the second edition of Writing Testbenches, Bergeron raises the verification level of abstraction by introducing coverage-driven constrained-random transaction-level self-checking testbenches- all made possible through the introduction of hardware verification languages (HVLs), such as e from Verisity and OpenVera from Synopsys.

Автор: Prakash Rashinkar; Peter Paterson; Leena Singh
Название: System-on-a-Chip Verification
ISBN: 1475774680 ISBN-13(EAN): 9781475774689
Издательство: Springer
Рейтинг:
Цена: 148020.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This is the first book to cover verification strategies and methodologies for SOC verification from system level verification to the design sign-off. All the verification aspects in this exciting new book are illustrated with a single reference design for Bluetooth application.

Автор: Graham Birtwistle; P.A. Subrahmanyam
Название: VLSI Specification, Verification and Synthesis
ISBN: 1461291976 ISBN-13(EAN): 9781461291978
Издательство: Springer
Рейтинг:
Цена: 113190.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: VLSI Specification, Verification and Synthesis Proceedings of a workshop held in Calgary from 12-16 January 1987.

Автор: Srivatsa Vasudevan
Название: Effective Functional Verification
ISBN: 1461498368 ISBN-13(EAN): 9781461498360
Издательство: Springer
Рейтинг:
Цена: 113180.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book on Effective Functional Verification will enable the reader to get a jump start on planning and executing a verification plan using the concepts presented. Case studies are given with analysis and there is coverage of planning and closure aspects.

Автор: Malay Ganai; Aarti Gupta
Название: SAT-Based Scalable Formal Verification Solutions
ISBN: 1441943412 ISBN-13(EAN): 9781441943415
Издательство: Springer
Рейтинг:
Цена: 153720.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book provides an engineering insight into how to provide a scalable and robust verification solution with ever increasing design complexity and sizes. The book brings together the various SAT-based scalable emerging technologies and techniques covered can be synergistically combined into a scalable solution.

Автор: Pallab Dasgupta
Название: A Roadmap for Formal Property Verification
ISBN: 9048171857 ISBN-13(EAN): 9789048171859
Издательство: Springer
Рейтинг:
Цена: 130430.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Integrating formal property verification (FPV) into an existing design process raises several interesting questions. This book develops the answers to these questions and fits them into a roadmap for formal property verification - a roadmap that shows how to glue FPV technology into the traditional validation flow.

Автор: Rolf Drechsler
Название: Advanced Formal Verification
ISBN: 1441954201 ISBN-13(EAN): 9781441954206
Издательство: Springer
Рейтинг:
Цена: 139750.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Advanced Formal Verification shows the latest developments in the verification domain from the perspectives of the user and the developer. World leading experts describe the underlying methods of today`s verification tools and describe various scenarios from industrial practice.

Автор: Abhijit Ghosh; Srinivas Devadas; A. Richard Newton
Название: Sequential Logic Testing and Verification
ISBN: 1461366224 ISBN-13(EAN): 9781461366225
Издательство: Springer
Рейтинг:
Цена: 78350.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: Gary D. Hachtel; Fabio Somenzi
Название: Logic Synthesis and Verification Algorithms
ISBN: 1475770367 ISBN-13(EAN): 9781475770360
Издательство: Springer
Рейтинг:
Цена: 69650.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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).

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