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