Author:
Farahmandi Farimah,Mishra Prabhat
Cited by
15 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Dynamic Variable Ordering during Algebraic Backward Rewriting for Formal Verification of Multipliers;2022 35th International Conference on VLSI Design and 2022 21st International Conference on Embedded Systems (VLSID);2022-02
2. Algebraic Techniques for Rectification of Finite Field Circuits;2021 IFIP/IEEE 29th International Conference on Very Large Scale Integration (VLSI-SoC);2021-10-04
3. Directed Test Generation for Activation of Security Assertions in RTL Models;ACM Transactions on Design Automation of Electronic Systems;2021-04
4. Lightweight Anonymous Routing for On-chip Interconnects;Network-on-Chip Security and Privacy;2021
5. Trust-Aware Routing in NoC-Based SoCs;Network-on-Chip Security and Privacy;2021