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...
Saved in:
| 主要作者: | |
|---|---|
| 企業作者: | |
| 格式: | 電子 電子書 |
| 語言: | 英语 |
| 出版: |
Cham :
Springer Nature Switzerland : Imprint: Springer,
2025.
|
| 版: | 1st ed. 2025. |
| 主題: | |
| 在線閱讀: | https://doi.org/10.1007/978-3-031-90410-3 |
| 標簽: |
添加標簽
沒有標簽, 成為第一個標記此記錄!
|
MARC
| LEADER | 00000nam a22000005i 4500 | ||
|---|---|---|---|
| 001 | 978-3-031-90410-3 | ||
| 003 | DE-He213 | ||
| 005 | 20260810170007.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 250702s2025 sz | o |||| 0|eng d | ||
| 020 | |a 9783031904103 |9 978-3-031-90410-3 | ||
| 024 | 7 | |a 10.1007/978-3-031-90410-3 |2 doi | |
| 050 | 4 | |a TK7895.E42 | |
| 072 | 7 | |a UKM |2 bicssc | |
| 072 | 7 | |a COM092000 |2 bisacsh | |
| 072 | 7 | |a UKM |2 thema | |
| 082 | 0 | 4 | |a 006.22 |2 23 |
| 100 | 1 | |a Heidari Iman, Mohammad Reza. |e author. |4 aut |4 http://id.loc.gov/vocabulary/relators/aut | |
| 245 | 1 | 0 | |a Advanced Techniques for Assertion-Based Verification in Hardware Designs Using Data Mining Algorithms |h [electronic resource] / |c by Mohammad Reza Heidari Iman. |
| 250 | |a 1st ed. 2025. | ||
| 264 | 1 | |a Cham : |b Springer Nature Switzerland : |b Imprint: Springer, |c 2025. | |
| 300 | |a 1 online resource (XI, 96 p. 23 illus.). |b 22 illus. in color. | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 341 | 0 | |b PDF/UA-1 |2 onix | |
| 341 | 0 | |b Table of contents navigation |2 onix | |
| 341 | 0 | |b Single logical reading order |2 onix | |
| 341 | 0 | |b Short alternative textual descriptions |2 onix | |
| 341 | 0 | |b Use of color is not sole means of conveying information |2 onix | |
| 341 | 0 | |b Use of high contrast between text and background color |2 onix | |
| 341 | 0 | |b Next / Previous structural navigation |2 onix | |
| 341 | 0 | |b All non-decorative content supports reading without sight |2 onix | |
| 347 | |a text file |b PDF |2 rda | ||
| 505 | 0 | |a 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. | |
| 520 | |a 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. | ||
| 532 | 8 | |a Accessibility summary: This PDF has been created in accordance with the PDF/UA-1 standard to enhance accessibility, including screen reader support, described non-text content (images, graphs), bookmarks for easy navigation, keyboard-friendly links and forms and searchable, selectable text. We recognize the importance of accessibility, and we welcome queries about accessibility for any of our products. If you have a question or an access need, please get in touch with us at accessibilitysupport@springernature.com. Please note that a more accessible version of this eBook is available as ePub. | |
| 532 | 8 | |a No reading system accessibility options actively disabled | |
| 532 | 8 | |a Publisher contact for further accessibility information: accessibilitysupport@springernature.com | |
| 588 | |a Print version record. | ||
| 650 | 0 | |a Embedded computer systems. | |
| 650 | 0 | |a Electronic circuit design. | |
| 650 | 0 | |a Electronics. | |
| 650 | 1 | 4 | |a Embedded Systems. |
| 650 | 2 | 4 | |a Electronics Design and Verification. |
| 650 | 2 | 4 | |a Electronics and Microelectronics, Instrumentation. |
| 710 | 2 | |a SpringerLink (Online service) | |
| 773 | 0 | |t Springer Nature eBook | |
| 776 | 0 | 8 | |i Printed edition: |z 9783031904097 |
| 776 | 0 | 8 | |i Printed edition: |z 9783031904110 |
| 776 | 0 | 8 | |i Printed edition: |z 9783031904127 |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-031-90410-3 |
| 912 | |a ZDB-2-ENG | ||
| 912 | |a ZDB-2-SXE | ||
| 912 | |a ZDB-2-233 | ||
| 950 | |a Engineering (SpringerNature-11647) | ||
| 950 | |a Engineering (R0) (SpringerNature-43712) | ||
| 950 | |a Focus Bundle Electrical and Electronic Engineering (SpringerNature-85403) | ||