Name: Advanced Techniques for Assertion-Based Verification in Hardware Designs Using Data Mining Algorithms
Price: 114.52 USD
Availability: InStock
Author: Mohammad Reza Heidari Iman
ISBN: 9783031904097

portada Advanced Techniques for Assertion-Based Verification in Hardware Designs Using Data Mining Algorithms

Advanced Techniques for Assertion-Based Verification in Hardware Designs Using Data Mining Algorithms

Formato

Libro Físico

Editorial

Springer International Publishing AG

Autor

Mohammad Reza Heidari Iman

Año

2025

N° páginas

Encuadernación

Tapa Dura

Dimensiones

23.50 x 15.50 cm

ISBN13

9783031904097

Advanced Techniques for Assertion-Based Verification in Hardware Designs Using Data Mining Algorithms

Mohammad Reza Heidari Iman (Autor) · Springer International Publishing AG · Tapa Dura

Libro Nuevo Importado

Envío: 20 a 27 días háb.

$ 190.86$ 114.52

-40%

Costos de importación incluídos en el precio ✅

Libro Nuevo

Quedan más de 100 unidades

$ 114.52

Llega entre el 09 Sep y el 22 Sep a Quito, Pichincha. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "Advanced Techniques for Assertion-Based Verification in Hardware Designs Using Data Mining Algorithms"

This book introduces leading-edge techniques for verifying the complex electronic systems used in industries such as aerospace, automotive, and medical devices, and ensuring the safety and security of these systems. By focusing on advanced verification and security verification methods, the author addresses the critical need to detect and prevent potential bugs, errors, and vulnerabilities such as Hardware Trojans in embedded systems. With an emphasis on innovative approaches to assertion-based verification, this book provides valuable insights for engineers, researchers, and professionals dedicated to enhancing the functional verification, security, and trustworthiness of critical technological systems. The methods described in this book address key shortcomings in current automatic assertion miners used for assertion-based verification, such as long execution times, excessive and redundant assertion generation, and inconsistency among generated assertions. The author discusses several innovative methods, tools and techniques, such as ARTmine, IMMizer, and Dominance, which enhance functional verification, and facilitate the automatic generation, evaluation, and minimization of assertions. Additionally, novel techniques are introduced for security verification, including a security-based assertion miner for RISC-V processors and ADAssure for debugging and bug localization in autonomous driving control algorithms of autonomous vehicles.