KMLM List

[Bill Dittenhofer <bill_dittenhofer@xxxxxxxxxxx>]

This is ok inside the model, but causes problems when comparing
an RTL signal with the SystemC signal in a SystemC module. This is due 
to the RTL generating X's, Z's of various strengths. When converting this to a 2 value SystemC signal, the X's and Z's get "resolved", usually to a '0'. This causes X's, Z's from the RTL to get missed by the comparator.
It would be desirable to cast the 2 value signal from inside the 
model to a 4 value signal.  The model doesnt produce X's, Z's, so nothing would be lost. The RTL value could be transported using a 4 valued signal, and X's, Z's would  be detected.
      Is it possible to cast the 2 valued (model) signal to a 4 valued signal?