A figure of merit for assertions in verification

Samuel Hertz, Debjit Pal, Spencer Offernberger, Shobha Vasudevan
January 2019
PDF Cite Code DOI
Type
Conference paper
Publication
IEEE/ACM Asia and South Pacific Design Automation Conference (ASPDAC)
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.