Xingyu Meng, Kshitij Raj, Atul Prasad Deb Nath, Kanad Basu, Sandip Ray. SoCCAR: Detecting System-on-Chip Security Violations Under Asynchronous Resets. In 58th ACM/IEEE Design Automation Conference, DAC 2021, San Francisco, CA, USA, December 5-9, 2021. pages 625-630, IEEE, 2021. [doi]
Abstract is missing.