Mohammad Reza Heidari Iman <br/><br/>
Advanced Techniques for Assertion-Based Verification in Hardware Designs Using Data Mining Algorithms 

 - 2025 
 -  Springer Nature Switzerland  2025 
<br/><br/><label>ISBN: </label>9783031904103 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Engineering