Samit Shahnawaz Miftah Kshitij Raj Xingyu Meng Sandip Ray Kanad Basu System-on-Chip Information Flow Validation Under Asynchronous Resets. 2825-2838 2024 September 43 IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 9 https://doi.org/10.1109/TCAD.2024.3376596 db/journals/tcad/tcad43.html#MiftahRMRB24 streams/journals/tcad