Re: [sv-bc] 4-state or 2-state expression types

I spoke a little too soon...

> The two simulators I can try right now disagree about this. Doing an
> out-of-range select on a 2-state vector, one yields 4-state 1'bx, the other
> 2-state 1'b0.

The third big-name simulator also yields a 2-state result.

In fact the simulator that yielded 4-state 1'bx did so only when the subscript
was statically known to be out of bounds (and it gave me an elaboration-time
warning for that too). An out-of-bounds subscript computed at runtime gave
2-state 1'b0, just like the other simulator. I don't know whether that should
affect BC's thinking...

Jonathan Bromley

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