Scalable Certification Framework for Behavioral Synthesis Front-End.

Zhenkun Yang, Kecheng Hao, Kai Cong, Li Lei, Sandip Ray, Fei Xie

Browse the full DAC paper archive.