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...
Enregistré dans:
| Auteur principal: | |
|---|---|
| Collectivité auteur: | |
| Format: | Électronique eBook |
| Langue: | anglais |
| Publié: |
Cham :
Springer Nature Switzerland : Imprint: Springer,
2025.
|
| Édition: | 1st ed. 2025. |
| Sujets: | |
| Accès en ligne: | https://doi.org/10.1007/978-3-031-90410-3 |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
Table des matières:
- 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.