Safety Instrumented System Design: Techniques and Design Verification, Iwan van Beurden, William M. Goble

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

Автор: Luca Sterpone
Название: Electronics System Design Techniques for Safety Critical Applications
ISBN: 1402089783 ISBN-13(EAN): 9781402089787
Издательство: Springer
Рейтинг:
Цена: 121890.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Addresses the development of techniques for the evaluation and the hardening of designs implemented on SRAM-based Field Programmable Gate Arrays. This title presents a design methodology solving industrial designer`s needs for implementing electronic systems using SRAM-based FPGAs in critical environments, like the space or avionic ones.

Автор: Luca Sterpone
Название: Electronics System Design Techniques for Safety Critical Applications
ISBN: 9048180414 ISBN-13(EAN): 9789048180417
Издательство: Springer
Рейтинг:
Цена: 104480.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Electronic systems are increasingly used in safety applications such as anti-lock brakes and biomedical supports in human care. This book offers a new series of algorithms and techniques to be used for the design and evaluation of these systems.

Автор: Kunihiko Ichikawa
Название: Control System Design based on Exact Model Matching Techniques
ISBN: 3540157727 ISBN-13(EAN): 9783540157724
Издательство: Springer
Рейтинг:
Цена: 95770.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: David S. Hardin
Название: Design and Verification of Microprocessor Systems for High-Assurance Applications
ISBN: 1489984593 ISBN-13(EAN): 9781489984593
Издательство: Springer
Рейтинг:
Цена: 156720.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This text examines several leading-edge design and verification technologies that have been successfully applied to microprocessor systems for high-assurance applications at various levels. It includes many practical case studies.

Автор: David S. Hardin
Название: Design and Verification of Microprocessor Systems for High-Assurance Applications
ISBN: 1441915389 ISBN-13(EAN): 9781441915382
Издательство: Springer
Рейтинг:
Цена: 174150.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This text examines several leading-edge design and verification technologies that have been successfully applied to microprocessor systems for high-assurance applications at various levels. It includes many practical case studies.

Автор: Progyna Khondkar
Название: Low-Power Design and Power-Aware Verification
ISBN: 3319666185 ISBN-13(EAN): 9783319666181
Издательство: Springer
Рейтинг:
Цена: 121110.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Until now, there has been a lack of a complete knowledge base to fully comprehend Low power (LP) design and power aware (PA) verification techniques and methodologies and deploy them all together in a real design verification and implementation project. This book is a first approach to establishing a comprehensive PA knowledge base.LP design, PA verification, and Unified Power Format (UPF) or IEEE-1801 power format standards are no longer special features. These technologies and methodologies are now part of industry-standard design, verification, and implementation flows (DVIF). Almost every chip design today incorporates some kind of low power technique either through power management on chip, by dividing the design into different voltage areas and controlling the voltages, through PA dynamic and PA static verification, or their combination.The entire LP design and PA verification process involves thousands of techniques, tools, and methodologies, employed from the register transfer level (RTL) of design abstraction down to the synthesis or place-and-route levels of physical design. These techniques, tools, and methodologies are evolving everyday through the progression of design-verification complexity and more intelligent ways of handling that complexity by engineers, researchers, and corporate engineering policy makers. 

Автор: Ashok B. Mehta
Название: ASIC/SoC Functional Design Verification
ISBN: 3319594176 ISBN-13(EAN): 9783319594170
Издательство: Springer
Рейтинг:
Цена: 121110.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book describes in detail all required technologies and methodologies needed to create a comprehensive, functional design verification strategy and environment to tackle the toughest job of guaranteeing first-pass working silicon. The author first outlines all of the verification sub-fields at a high level, with just enough depth to allow an engineer to grasp the field before delving into its detail. He then describes in detail industry standard technologies such as UVM (Universal Verification Methodology), SVA (SystemVerilog Assertions), SFC (SystemVerilog Functional Coverage), CDV (Coverage Driven Verification), Low Power Verification (Unified Power Format UPF), AMS (Analog Mixed Signal) verification, Virtual Platform TLM2.0/ESL (Electronic System Level) methodology, Static Formal Verification, Logic Equivalency Check (LEC), Hardware Acceleration, Hardware Emulation, Hardware/Software Co-verification, Power Performance Area (PPA) analysis on a virtual platform, Reuse Methodology from Algorithm/ESL to RTL, and other overall methodologies.