Author:
Farahmandi Farimah,Alizadeh Bijan,Navabi Zain
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Synthesis-Embedded Verification;2023 8th South-East Europe Design Automation, Computer Engineering, Computer Networks and Social Media Conference (SEEDA-CECNSM);2023-11-10
2. Background;Formal Verification of Structurally Complex Multipliers;2023
3. Automated Test Generation for Debugging Multiple Bugs in Arithmetic Circuits;IEEE Transactions on Computers;2019-02-01
4. Formal Approaches to Hardware Trust Verification;The Hardware Trojan War;2017-11-30
5. Pre-silicon security verification and validation;Proceedings of the 52nd Annual Design Automation Conference;2015-06-07