Welcome to our site! EDAboard.com is an international Electronics Discussion Forum focused on EDA software, circuits, schematics, books, theory, papers, asic, pld, 8051, DSP, Network, RF, Analog Design, PCB, Service Manuals... and a whole lot more! To participate you need to register. Registration is free. Click here to register now.
have a look at Atrenta Spyglass and you will agree nothing can beat it in lint..it has more comphrensive rule checks than any other lint tool and it also checks against certain standard like STARC , OpenMore, xilinx, Design Reuse (RMM) etc...
In HAL custom rule can be coded. It provides standard VPI ( Verilog procedural interface ), VHPI ( VHDL procedural interface ) , CPI ( common front-end procedural interce) and HAL API , which is tool's own C programming application specific interface .
I would imagine Spyglass to be better (and have heard so as well) - after all it is one of their bread winners for Atrenta, I strongly believe that if it is your bread winner, you would try and be the best in the industry. Leda I use it almost daily, does the job..