There is a good post on DeepChip from John Weiland giving a brief summary of a number of Linters and Assertion/Testbench Coverage Tools.

See here