Verific — head and shoulders above the rest Product · LintRTL

LintRTL

A Linter tool for SystemVerilog and VHDL. Identify design issues early with configurable lint rules and advanced synthesizability checks.

Description

LintRTL is a comprehensive static analysis tool for Verilog, SystemVerilog, and VHDL that helps designers identify coding, structural, and synthesizability issues early in the development cycle. By analyzing RTL source code without requiring simulation or synthesis, LintRTL detects potential design problems, enforces coding standards, and promotes consistent, high-quality RTL development. Its configurable rule set enables teams to tailor linting checks to their design guidelines, while built-in synthesizability analysis highlights common synthesis-related issues before implementation. By automating RTL quality checks, LintRTL improves code reliability, accelerates design reviews, and helps teams maintain robust and maintainable hardware designs across projects of any scale. You can read more about in the Documentation.

Product Configuration

30-day eval Every feature is enabled for 30 days when you first run LintRTL.
Capabilities Standard Pro
Standard Features
Analyze Verilog and SystemVerilog source
✓ ✓
Analyze VHDL source
✓ ✓
Syntax and semantic checks
✓ ✓
Comprehensive coverage and configurable severity
✓ ✓
Core LintRTL analysis infrastructure
✓ ✓
Pro features
Advance Lint Synthesis checks
Perform synthesizability validation identical to standard RTL synthesis tools, at a fraction of the runtime.
✗ ✓
Lint Elaboration
Perform linting more accurately on bit level information and parameterized modules and instances.
✗ ✓
Lint VHDL Rules
Applies LintRTL's rule checks to VHDL designs, in addition to Verilog and SystemVerilog
✗ ✓
Pricing
StandardFree
Advance Lint Synthesis checks $25/mo
Lint Elaboration $25/mo
Lint VHDL Rules $25/mo
Pro — all 3 features $56/mo (save $19/mo)
Sign in to download and start your free evaluation.
Download
Note: LintRTL uses automatic identity-based licensing. On first run, you'll register your machine via your browser and receive a 30-day trial with all pro-features enabled. After trial, you'll keep Base, free; any features you've purchased remain active.

Downloads

PlatformVersionDownload
Linux x86_64 Aug26
macOS Aug26
Windows – Coming soon

Installation

  1. Download your platform archive (current: Aug26).
  2. Extract the archive to a folder on your machine.
  3. First run — Identity registration:
    • Navigate to <installation_dir>/bin
    • Run lint_rtl (./lint_rtl)
    • Tool displays registration URL
  4. Browser registration:
    • Open URL in browser
    • Log in with Verific Store credentials
    • Website displays registration code
    • Copy code back to terminal
  5. License activation:
    • You will begin a 30-day trial with all features enabled.
    • After the trial, you'll keep Base, free. Features you've purchased remain active and renew monthly.

Report an issue