Verisity upgrades Verilog linting tool

29

Author: JT Smith

EE Times reports on
Verisity Design releasing a
new version of its SureLint Verilog linting tool that supports
user-defined checks, better Finite State Machine and race
condition checks, and improved checks compliant with the
Reuse Methodology Manual. SureLint runs on Linux and Unix.

Category:

  • Linux