[PDF][PDF] GraphCov: RTL Graph Based Test Biasing for Exploring Uncharted Coverage Landscape
D Chatterjee, S Kachhadia, C Luo, K Kushal, S Dhodhi - dvcon-proceedings.org
Cover Property (CP) can be used to describe functional coverage statements within Register
Transfer Logic (RTL) design code. In this paper, we propose GraphCov-a heuristic for hitting …
Transfer Logic (RTL) design code. In this paper, we propose GraphCov-a heuristic for hitting …