Verification by Error Modeling, Katarzyna Radecka; Zeljko Zilic
Автор: Brian Bailey; Grant Martin; Thomas Anderson Название: Taxonomies for the Development and Verification of Digital Systems ISBN: 1441936815 ISBN-13(EAN): 9781441936813 Издательство: Springer Рейтинг: Цена: 14365.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
Communication between engineers, their managers, suppliers and customers relies on the existence of a common understanding for the meaning of terms. While this is not normally a problem, it has proved to be a significant roadblock in the EDA industry where terms are created as required by any number of people, multiple terms are coined for the same thing, or even worse, the same term is used for many different things. This taxonomy identifies all of the significant terms used by an industry and provides a structural framework in which those terms can be defined and their relationship to other terms identified. The origins of this work go back to 1995 with a government-sponsored program called RASSP. At the termination of their work, VSIA picked up their work and developed it further. Three new taxonomies were introduced by VSIA for additional facets of the system design and development process. Since role of VSIA has now changed so that it no longer maintains these taxonomies, the baton is being passed on again through a group of interested people and manifested in this key reference work.
Автор: Eric Y.T. Juan; Jeffrey J.P. Tsai Название: Compositional Verification of Concurrent and Real-Time Systems ISBN: 1461353491 ISBN-13(EAN): 9781461353492 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Many of the software systems support or supplant human control of safety-critical systems such as flight control systems, space shuttle control systems, aircraft avionics control systems, robotics, patient monitoring systems, nuclear power plant control systems, and so on.
Автор: Leena Singh; Leonard Drucker Название: Advanced Verification Techniques ISBN: 1441954090 ISBN-13(EAN): 9781441954091 Издательство: Springer Рейтинг: Цена: 22201.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Transaction-based design and verification, constrained random stimulus generation, functional coverage analysis, and assertion-based verification are all techniques that advanced design and verification teams routinely use today.
Описание: system is a complex object containing a significant percentage of elec- A tronics that interacts with the Real World (physical environments, humans, etc.
Автор: Rolf Drechsler; Ulrich K?hne Название: Formal Modeling and Verification of Cyber-Physical Systems ISBN: 3658099933 ISBN-13(EAN): 9783658099930 Издательство: Springer Рейтинг: Цена: 11878.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book presents the lecture notes of the 1st Summer School on Methods and Tools for the Design of Digital Systems, 2015, held in Bremen, Germany.
Автор: Selahattin Sayil Название: Soft Error Mechanisms, Modeling and Mitigation ISBN: 3319306065 ISBN-13(EAN): 9783319306063 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book introduces readers to various radiation soft-error mechanisms such as soft delays, radiation induced clock jitter and pulses, and single event (SE) coupling induced effects.
Автор: Ilya Wagner; Valeria Bertacco Название: Post-Silicon and Runtime Verification for Modern Processors ISBN: 1489981500 ISBN-13(EAN): 9781489981509 Издательство: Springer Рейтинг: Цена: 18284.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The purpose of this book is to survey the state of the art and evolving directions in post-silicon and runtime verification. They then dive into the presentation of several new post-silicon verification solutions aimed at boosting the verification coverage of modern processors, dedicating several chapters to this topic.
Автор: Rolf Drechsler Название: Formal Verification of Circuits ISBN: 079237858X ISBN-13(EAN): 9780792378587 Издательство: Springer Рейтинг: Цена: 23472.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: 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.
Автор: Paulo Tabuada Название: Verification and Control of Hybrid Systems ISBN: 1441954988 ISBN-13(EAN): 9781441954985 Издательство: Springer Рейтинг: Цена: 16769.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book examines several classes of hybrid systems, admitting symbolic models along with the relationships between them. It outlines several key verification and control synthesis results for hybrid systems.
Автор: Alan Wiemann Название: Standardized Functional Verification ISBN: 1441944079 ISBN-13(EAN): 9781441944078 Издательство: Springer Рейтинг: Цена: 16977.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The Integrated Circuit (IC) industry has gone without a standardized verification approach for decades. This book defines a uniform, standardizable methodology for verifying the logical behavior of an integrated circuit, whether an I/O controller, a microprocessor, or a complete digital system.
Автор: Thomas Kropf Название: Introduction to Formal Hardware Verification ISBN: 364208477X ISBN-13(EAN): 9783642084775 Издательство: Springer Рейтинг: Цена: 10475.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This advanced textbook presents an almost complete overview of techniques for hardware verification. It covers all approaches used in existing tools, such as binary and word-level decision diagrams, symbolic methods for equivalence and temporal logic model checking, and introduces the use of higher-order logic theorem proving for verifying circuit correctness. Each chapter contains an introduction and a summary as well as a section for the advanced reader, aiding an understanding of the advantages and limitations of each technique. Backed by many examples and illustrations, this text will appeal to a broad audience, from beginners in system design to experts. XXXXXXX Neuer Text This is a complete overview of existing techniques for hardware verification. It covers all approaches used in existing verification tools, such as symbolic methods for equivalence checking, temporal logic model checking, and higher-order logic theorem proving for verifying circuit correctness. The book helps readers to understand the advantages and limitations of each technique. Each chapter contains a summary as well as a section for the advanced reader.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
