What's the Handoff for RTL delivery to Verification and BackEnd groups?
As I know, it's as follows:
1) level-0 verification by direct testing (TestBench)
2) Running Lint on RTL
3) Running SpyGlass on RTL (CDC checks)
4) providing constraint files for the synthesis