Mohammad Reza Heidari Iman

eBook, PDF

Advanced Techniques for Assertion-Based Verification in Hardware Designs Using Data Mining Algorithms (eBook, PDF)

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.

Technische Details

• Geräte: PC
• ohne Kopierschutz
• Größe: 6.2MB

Barrierefreiheit

• Text-to-Speech
• E-Mail des Verlags für Barrierefreiheitsfragen: [e-mail]
• Alle Inhalte über Screenreader oder taktile Geräte zugänglich
• Navigation über vor-/zurück-Elemente ohne Inhaltsverzeichnis
• Hoher Kontrast zwischen Text und Hintergrund (min. 4.5 =>1)
• Inhalte verständlich ohne Farbwahrnehmung
• Kurze Alternativtexte für nicht-textuelle Inhalte vorhanden
• Text und Medien in logischer Lesereihenfolge angeordnet
• Navigierbarer Index mit direktem Zugriff auf Indexbegriffe
• Navigierbares Inhaltsverzeichnis für direkten Zugriff auf Text und Medien
• Keine Einschränkung der Vorlesefunktionen, außer bei spezifischen Ausnahmen
• Entspricht PDF/UA 1 Standards für universelle Barrierefreiheit

Autor

Mohammad Reza Heidari Iman is currently a postdoctoral researcher at TIMA Laboratory, Grenoble, France. He earned his PhD from Tallinn University of Technology, Estonia, in August 2024. His research interests include verification and assertion-based verification in safety-critical embedded systems, hardware security, and the application of AI in hardware security and verification. He is a program committee member for conferences such as ETS and IOLTS and also serves as a reviewer for leading journals and conferences, including IEEE TCAD, DATE, ETS, VLSI-SoC, IOLTS, and CODES+ISSS.

Produktdetails

• Verlag: Springer International Publishing
• Seitenzahl: 96
• Erscheinungstermin: 1. Juli 2025
• Englisch
• ISBN-13: 9783031904103
• Artikelnr.: 74778965