Unique Case + linting #1136
Labels
area: lint
Issue involves SystemVerilog lint checking
resolution: abandoned
Closed; not enough information or otherwise never finished
Author Name: Mehul Modhiya
Original Redmine Issue: 1136 from https://www.veripool.org
Hello,Everyone
While linting I am getting following warning related to case statement incomplete,
%warning-CASEINCOMPLETE:XXXX.SV:Case values incompletely covered (example pattern 0x0)
Document says that to make it complete we must add default statement into the case,but here I am using System Verilog pragma Unique, so in my logic all the case occur uniquely means default case is not needed.Is this right behaviour of verilator or am I missing something????
Thank you,
Mehul Modhiya
The text was updated successfully, but these errors were encountered: