1. R. Abdel-Khalek, R. Parikh, A. DeOrio, V. Bertacco, Functional correctness for CMP interconnects, in 2011 IEEE 29th International Conference on Computer Design (ICCD) (2011), pp. 352–359
2. A. Ahmed, F. Farahmandi, Y. Iskander, P. Mishra, Scalable hardware trojan activation by interleaving concrete simulation and symbolic execution, in 2018 IEEE International Test Conference (ITC) (IEEE, New York, 2018), pp. 1–10
3. A. Ahmed, F. Farahmandi, P. Mishra, Directed test generation using concolic testing on RTL models, in 2018 Design, Automation & Test in Europe Conference & Exhibition (DATE) (2018)
4. A. Ahmed, Y. Huang, P. Mishra, Cache reconfiguration using machine learning for vulnerability-aware energy optimization. ACM Trans. Embed. Comput. Syst. 18(2) (2019). https://doi.org/10.1145/3309762
5. Alteris FlexNoC Resilience Package. www.arteris.com/flexnoc-resilience-package-functional-safety [Online]