RE: [sv-bc] enumerated variable used with an equality operator

In http://www.eda.org/sv-bc/hm/11561.html, Daniel writes



     >static cast that is curently supported is not enough?

     >int'(enum_var) == number



If it's done carefully. A size cast would be safer



module test;

enum integer {XX = 'x, S0 = 'b00, S1='b01, S2='b10} state, next;

always_comb begin

    state = XX;

    next = S0;

    assert( int'(state) === int'(next));

    assert( 32'(state) !== 32'(next));

end

endmodule



-- Brad



-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.