Ankündigung

Heidari Iman

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

Jetzt vorbestellen! Wir liefern bei Erscheinen (Erscheint vsl. Juni 2025)

Rezensionen ansehen

Standardpreis

ca. 106,99 €

Preisangaben inkl. MwSt. Abhängig von der Lieferadresse kann die MwSt. an der Kasse variieren. Weitere Informationen

Fachbuch

Buch. Hardcover

2025

100 S. Bibliographien.

In englischer Sprache

Springer. ISBN 978-3-031-90409-7

Format (B x L): 15,5 x 23,5 cm

Produktbeschreibung

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.