vWIZ-Lint is WIOWIZ's standalone RTL lint tool, built on an owned, pinned SystemVerilog frontend and an elaborated intermediate representation. It runs a rule and policy engine over your design and reports only what its own evidence can establish. Its defining discipline is no false clean: any rule you asked for that did not actually execute stays visible in the receipt, and a policy that still contains unimplemented rules cannot come back clean. It never routes a finding to another product.
A frontend copy that vWIZ-Lint owns and pins, parsing and elaborating SystemVerilog into an intermediate representation it controls end to end.
A registry of structural and semantic rules organised into policy packs, run over the elaborated design with waiver lifecycle and scoping.
An execution ledger records what ran and what did not. A rule that was requested but did not execute stays visible, and a policy with unimplemented rules cannot return clean.
Rules are declared up front, and contracts the tool cannot locally decide are marked blocked or inconclusive rather than quietly passed.
Findings emit as text, JSON and SARIF 2.1.0, with exit codes that separate clean from failed from incomplete. Incomplete is never treated as success.
A self-contained tool with no external dependencies. It performs its own analysis and never hands a finding off to another product to close out.
| Stage | RTL integrity, structural lint and sign-off checking |
|---|---|
| Frontend | Owned, pinned SystemVerilog frontend with an elaborated intermediate representation |
| Rules | Structural and semantic rule bands grouped into policy packs, with declared rules receipt-visible |
| Evidence | Execution ledger enforcing no false clean; requested-but-unrun rules stay visible |
| Outputs | Text, JSON and SARIF 2.1.0 reports with clean / fail / incomplete verdicts |
| Design level | RTL structural, technology independent (no PDK required) |
