tree 5d8d5d8653e772c646b4003c5c90744807ec430b
parent 23364d6bac3b46bcad713c5b0d1bc27659a59e15
author Cindy Chen <chencindy@google.com> 1604366230 -0800
committer cindychip <cindy.chen0316@gmail.com> 1604515422 -0800

[dv/lint] Add new DV TB to lint batch script

1. Add newly developed modules to Lint batch script.
This includes: OTP_CTRL, KeyMgr, prim_presence, prim_lfsr, prim_prince,
csrng

2. Add the lint template to uvmgen core file

3. Update current DV lint target. Delete the not used verilator and
ascentlint.

Signed-off-by: Cindy Chen <chencindy@google.com>