Finding Bugs in RTL Descriptions: High-Level Synthesis to the Rescue. - Baharealsadat Parchamdar; Benjamin Carrión Schäfer (DAC, 2024)

Breaking Behavioral IPs Design Space Lock. - Baharealsadat Parchamdar; Benjamin Carrion Schafer (ACM Great Lakes Symposium on VLSI, 2025)