LEADER 02772nam 22005535 450 001 9911015869503321 005 20250702130347.0 010 $a9783031904103$b(electronic bk.) 010 $z9783031904097 024 7 $a10.1007/978-3-031-90410-3 035 $a(MiAaPQ)EBC32189527 035 $a(Au-PeEL)EBL32189527 035 $a(CKB)39567926300041 035 $a(OCoLC)1526861192 035 $a(DE-He213)978-3-031-90410-3 035 $a(EXLCZ)9939567926300041 100 $a20250702d2025 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aAdvanced Techniques for Assertion-Based Verification in Hardware Designs Using Data Mining Algorithms /$fby Mohammad Reza Heidari Iman 205 $a1st ed. 2025. 210 1$aCham :$cSpringer Nature Switzerland :$cImprint: Springer,$d2025. 215 $a1 online resource (142 pages) 311 08$aPrint version: Heidari Iman, Mohammad Reza Advanced Techniques for Assertion-Based Verification in Hardware Designs Using Data Mining Algorithms Cham : Springer,c2025 9783031904097 327 $aIntroduction -- 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. 330 $aMohammad 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. 606 $aEmbedded computer systems 606 $aElectronic circuit design 606 $aElectronics 606 $aEmbedded Systems 606 $aElectronics Design and Verification 606 $aElectronics and Microelectronics, Instrumentation 615 0$aEmbedded computer systems. 615 0$aElectronic circuit design. 615 0$aElectronics. 615 14$aEmbedded Systems. 615 24$aElectronics Design and Verification. 615 24$aElectronics and Microelectronics, Instrumentation. 676 $a006.22 700 $aHeidari Iman$b Mohammad Reza$01833454 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 912 $a9911015869503321 996 $aAdvanced Techniques for Assertion-Based Verification in Hardware Designs Using Data Mining Algorithms$94408359 997 $aUNINA