Study and Analysis of RTL Verification Tool | IEEE Conference Publication | IEEE Xplore