Author:
Ahmed Alif,Farahmandi Farimah,Mishra Prabhat
Cited by
31 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. System-on-Chip Information Flow Validation Under Asynchronous Resets;IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems;2024-09
2. RTL-Spec: RTL Spectrum Analysis for Security Bug Localization;2024 IEEE International Symposium on Hardware Oriented Security and Trust (HOST);2024-05-06
3. Incremental Concolic Testing of Register-Transfer Level Designs;ACM Transactions on Design Automation of Electronic Systems;2024-05-03
4. Static Gate-Level Information Flow for Hardware Information Security with Bounded Model Checking;2024 IEEE 42nd VLSI Test Symposium (VTS);2024-04-22
5. Directed Test Generation for Hardware Validation: A Survey;ACM Computing Surveys;2024-01-12