Assertion Ranking Using RTL Source Code Analysis

Publication
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (TCAD)
Debjit Pal
Debjit Pal
Post-Doctoral Associate

My research interests include ML for EDA, SoC verification, Edge Intelligence as Service, and Compiler Optimizations for Reconfigurable and High-Performance Computing.