Advanced Techniques for Assertion-Based Verification in Hardware Designs Using Data Mining Algorithms
Buch in deiner Nähe kaufen
Beschreibung
Mohammad Reza Heidari Iman is a Postdoctoral Researcher at the TIMA Laboratory, Université Grenoble Alpes, France, starting in September 2024. He completed his Ph.D. in the Department of Computer Systems at Tallinn University of Technology, Estonia, in August 2024. His research focuses on Hardware Verification, Assertion-Based Verification, Security and Security Verification of Embedded and Safety-Critical Systems, and the application of Data Mining in Verification and Security.
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.
Utilizes innovative data mining-based techniques to enhance functional and security verification methods Introduces ARTmine, a novel automatic assertion miner that outperforms traditional assertion miners Enables readers to reduce verification time and costs, as well as minimize risks related to functionality and security
Autor*in
Mohammad Reza Heidari Iman
Themen in »Advanced Techniques for Assertion-Based Verification in Hardware Designs Using Data Mining Algorithms«
Automatic Assertion Mining Automatic Assertion-Based Verification Techniques Automatic Verification Techniques Automatic Security Verification Techniques Hardware Verification Hardware Security Verification