Advanced Techniques for Assertion-Based Verification in Hardware Designs Using Data Mining Algorithms / by Mohammad Reza Heidari Iman.

Format:

Book

Author/Creator:

Heidari Iman, Mohammad Reza.

Series:

Engineering Series

Language:

English

Subjects (All):

Embedded computer systems.

Electronic circuit design.

Electronics.

Embedded Systems.

Electronics Design and Verification.

Electronics and Microelectronics, Instrumentation.

Local Subjects:

Embedded Systems.

Electronics Design and Verification.

Electronics and Microelectronics, Instrumentation.

Physical Description:

1 online resource (142 pages)

Edition:

1st ed. 2025.

Place of Publication:

Cham : Springer Nature Switzerland : Imprint: Springer, 2025.

Summary:

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.

Contents:

Introduction

Background

State-of-the-art

Automatic Generation of Assertions for Functional Verification

Automatic Evaluation and Minimization of Assertions

Automatic Generation of Assertions for Security Verification

Conclusion and Future Directions.

Notes:

Description based on publisher supplied metadata and other sources.

Other Format:

Print version: Heidari Iman, Mohammad Reza Advanced Techniques for Assertion-Based Verification in Hardware Designs Using Data Mining Algorithms

ISBN:

9783031904103

OCLC:

1526861192