Does Cadence have a RTL checking software?

[yann_sun]

I am wondering whether the codingstyle/rule checking is an essential design scenario or not at present.
Does cadence have a product for checking rtl codingstyle/rule, similar with leda of synopsys?
What is the name?
Thanks

 

[dftrtl]

Which tool you are referring from SYNOPSYS ?

 

[RBB]

Cadence has a similar tool. It's called HAL and is built into irun.