Invited: Independent Verification and Validation of Security-Aware EDA Tools and IP

Benjamin Tan, Siddharth Garg, Ramesh Karri, Yuntao Liu 0001, Michael Zuzak, Abhisek Chakraborty, Ankur Srivastava, Omid Aramoon, Qian Xu, Gang Qu, Adam Porter, Jeno Szep, Warren Savage. Invited: Independent Verification and Validation of Security-Aware EDA Tools and IP. In 58th ACM/IEEE Design Automation Conference, DAC 2021, San Francisco, CA, USA, December 5-9, 2021. pages 1299-1302, IEEE, 2021. [doi]

Abstract

Abstract is missing.