Torrent details for "Mohammad R.Advanced Techniques for Assertion-Based Verification …" Log in to bookmark
Controls:
×
Report Torrent
Please select a reason for reporting this torrent:
Your report will be reviewed by our moderation team.
×
Report Information
Loading report information...
This torrent has been reported 0 times.
Report Summary:
| User | Reason | Date |
|---|
Failed to load report information.
×
Success
Your report has been submitted successfully.
Checked by:
Category:
Language:
None
Total Size:
6.2 MB
Info Hash:
FDC4EDF1C2CD0FB79C433AD6CBF7B34E0917F57F
Added By:
Added:
July 5, 2025, 11:37 a.m.
Stats:
|
(Last updated: July 5, 2025, 11:38 a.m.)
| File | Size |
|---|---|
| ['Mohammad R.Advanced Techniques for Assertion-Based Verification in Hardware 2025.pdf'] | 0 bytes |
Name
DL
Uploader
Size
S/L
Added
NOTE
SOURCE: Mohammad R.Advanced Techniques for Assertion-Based Verification in Hardware 2025
-----------------------------------------------------------------------------------
COVER
-----------------------------------------------------------------------------------
MEDIAINFO
Textbook in PDF format This book introduces leading-edge techniques for verifying the complex electronic systems used in industries such as aerospace, automotive, and medical devices, and ensuring the safety and security of these systems. By focusing on advanced verification and security verification methods, the author addresses the critical need to detect and prevent potential bugs, errors, and vulnerabilities such as Hardware Trojans in embedded systems. With an emphasis on innovative approaches to assertion-based verification, this book provides valuable insights for engineers, researchers, and professionals dedicated to enhancing the functional verification, security, and trustworthiness of critical technological systems. The methods described in this book address key shortcomings in current automatic assertion miners used for assertion-based verification, such as long execution times, excessive and redundant assertion generation, and inconsistency among generated assertions. The author discusses several innovative methods, tools and techniques, such as ARTmine, IMMizer, and Dominance, which enhance functional verification, and facilitate the automatic generation, evaluation, and minimization of assertions. Additionally, novel techniques are introduced for security verification, including a security-based assertion miner for RISC-V processors and ADAssure for debugging and bug localization in autonomous driving control algorithms of autonomous vehicles. In the field of functional hardware verification, there exists a range of techniques including static verification, dynamic verification, and assertion-based verification methods. While static and dynamic approaches show promise in functional verification, assertion-based verification techniques have garnered increasing interest. They offer the combined benefits of both static and dynamic techniques. Assertions play a pivotal role in assertion-based verification and are fundamental to its methodology. Given their significance in functional and even security verification, considerable efforts have been made in the literature to create high-quality assertion sets that offer comprehensive design behavior coverage. Preface 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 Conclusions and Future Directions
×