صورة الغلاف

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

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 V...

وصف كامل

محفوظ في:

التفاصيل البيبلوغرافية
المؤلف الرئيسي:	Heidari Iman, Mohammad Reza (مؤلف)
مؤلف مشترك:	SpringerLink (Online service)
التنسيق:	الكتروني كتاب الكتروني
اللغة:	الإنجليزية
منشور في:	Cham : Springer Nature Switzerland : Imprint: Springer, 2025.
الطبعة:	1st ed. 2025.
الموضوعات:	Embedded computer systems. Electronic circuit design. Electronics. Embedded Systems. Electronics Design and Verification. Electronics and Microelectronics, Instrumentation.
الوصول للمادة أونلاين:	https://doi.org/10.1007/978-3-031-90410-3
الوسوم:	إضافة وسم لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!

مواد مشابهة

CMOS-based Portable NMR/MRI Microsystems
حسب: Fan, Shuhao, وآخرون
منشور في: (2025)

Machine Learning-based Design and Optimization of High-Speed Circuits
حسب: Melikyan, Vazgen
منشور في: (2024)

Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes Better Early than Never /
حسب: Pieper, Pascal, وآخرون
منشور في: (2024)

Hardware Security A Look into the Future /
حسب: Tehranipoor, Mark, وآخرون
منشور في: (2024)

Analog Microelectronics
حسب: Borgarino, Mattia
منشور في: (2025)

A Problem-Solving Approach to Electric Circuits Volume III /
حسب: Asadi, Farzin
منشور في: (2025)

A Problem-Solving Approach to Electric Circuits Volume II /
حسب: Asadi, Farzin
منشور في: (2025)

Cryogenic Microelectronic Systems for Ultra-Low Energy and Enhanced Performance
حسب: Zhuldassov, Nurzhan, وآخرون
منشور في: (2025)

ASIC Design Implementation Process A Complete Framework /
حسب: Golshan, Khosrow
منشور في: (2024)

A Problem-Solving Approach to Electric Circuits Volume IV /
حسب: Asadi, Farzin
منشور في: (2025)

A Problem-Solving Approach to Electric Circuits Volume I /
حسب: Asadi, Farzin
منشور في: (2025)

Circuit-Technology Co-Optimization of SRAM Design in Advanced CMOS Nodes
حسب: Liu, Hsiao-Hsuan, وآخرون
منشور في: (2025)

Versatile Hardware Analysis Techniques From Waveform-based Analysis to Formal Verification /
حسب: Klemmer, Lucas, وآخرون
منشور في: (2025)

Quasi van der Waals Epitaxy of Nitride Semiconductor and Its Applications
حسب: Wei, Tongbo, وآخرون
منشور في: (2025)

Hardware Security Training, Hands-on!
حسب: Tehranipoor, Mark, وآخرون
منشور في: (2023)

Hardware Security: Challenges and Solutions
منشور في: (2025)

SOC-Based Solutions in Emerging Application Domains
حسب: Chakravarthi, Veena S., وآخرون
منشور في: (2025)

Logic Locking A Practical Approach to Secure Hardware /
حسب: Sisejkovic, Dominik, وآخرون
منشور في: (2023)

Frontiers of Quality Electronic Design (QED) AI, IoT and Hardware Security /
منشور في: (2023)

Quantum Computing Architecture and Hardware for Engineers Step by Step /
حسب: Wong, Hiu Yung
منشور في: (2025)

Chip-Scale Power Supplies for DC-Link and Grid Applications
حسب: Rindfleisch, Christoph, وآخرون
منشور في: (2024)

Fully Integrated High-Voltage DC-DC and AC-DC Conversion
حسب: Van Daele, Tuur, وآخرون
منشور في: (2025)

Quality-of-Service Aware Design and Management of Embedded Mixed-Criticality Systems
حسب: Ranjbar, Behnaz, وآخرون
منشور في: (2024)

Graphs in VLSI
حسب: Bairamkulov, Rassul, وآخرون
منشور في: (2023)

Lifetime Reliability-aware Design of Integrated Circuits
حسب: Raji, Mohsen, وآخرون
منشور في: (2023)

Understanding Logic Locking
حسب: Zamiri Azar, Kimia, وآخرون
منشور في: (2024)

Enhanced Virtual Prototyping for Heterogeneous Systems
حسب: Hassan, Muhammad, وآخرون
منشور في: (2023)

System on Chip (SOC) Architecture A Practical Approach /
حسب: Chakravarthi, Veena S., وآخرون
منشور في: (2023)

Bulk-Driven Circuit Techniques for CMOS FDSOI Processes From Circuit Concept to Implementations /
منشور في: (2025)

Formal Verification of Structurally Complex Multipliers
حسب: Mahzoon, Alireza, وآخرون
منشور في: (2023)

Workload Dependent Mitigation Approaches for Performance Variability Ensuring Timing Guarantees of Integrated Circuits /
حسب: Lin, Ji-Yung, وآخرون
منشور في: (2025)

Modern Programmable Interconnect Design
حسب: Nikolić, Stefan
منشور في: (2025)

Hardware Software Co-design of Epileptic Seizure Prediction Systems
حسب: Varnosfaderani, Shiva Maleki, وآخرون
منشور في: (2025)

Switched Inductor Power IC Design
حسب: Rincón-Mora, Gabriel Alfonso
منشور في: (2023)

Imaging Sensors, Power Management, PLLs and Frequency Synthesizers Advances in Analog Circuit Design 2023 /
منشور في: (2025)

CMOS Plasma and Process Damage
حسب: Prall, Kirk
منشور في: (2025)

Random Number Generators Verilog Description, Hardware Implementation and Applications /
حسب: de la Fraga, Luis Gerardo, وآخرون
منشور في: (2025)

Embedded Microprocessor System Design using FPGAs
حسب: Meyer-Baese, Uwe
منشور في: (2025)

Quantum Computing Circuits, Systems, Automation and Applications /
منشور في: (2024)

Machine Learning and Optimization Techniques for Automotive Cyber-Physical Systems
منشور في: (2023)