DEEQ: Data-driven End-to-End EQuivalence Checking of High-level Synthesis. - Mohammed Abderehman; Theegala Rakesh Reddy; Chandan Karfa (ISQED, 2022)

BLAST: Belling the Black-Hat High-Level Synthesis Tool. - Mohammed Abderehman; Rupak Gupta; Theegala Rakesh Reddy; Chandan Karfa (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022)