tmrg does not support inside construct
Problem to solve
Support inside construct
Target audience
Proposal
Support inside
construct such as
logic [1:0] a;
logic b;
always_comb
if (a inside {2'b00,2'10})
b = 1'b1;
else
b = 1'b0;
What does success look like, and how can we measure that?
Tests relative to inside
construct should pass
Links / references
LRM 11.4.13 Set membership operator