Specman DUT error:

Can you post code snippet of the protocol checker? The error message is not helpful in seeing how the protocol check was activated and executed.

I agree with pjigar, but if I had to take a guess I'd say you got unknown (X) or unconnected(Z) values in simulation or maybe the HDL ports are connected to wrong signals. Check the waveform.

Y.

Hi pjigar and Y,


Below, A small piece of protocol check code.

expect true((env.smp.sig_read.has_x() == FALSE) and
(env.smp.sig_read.has_z() == FALSE)) @normal_address_phase
else dut_error("ERR_READ_XZ\n",
"Read went to X or Z during Address Phase");

Here, normal_address_phase is a event, This event is emitted at the rising edge of clock at the start of each
Address Phase.

And HDL ports properly placed and in the wave forms, what i am getting are correct only.But in the specman console window getting error.

Here Protocol checks are starting at when simulation starts, but actually it is suppose to start with respect to event emit.

-M.B Naik

Hmm.. Just to be 100% sure I would try to replace that piece of code with this:

on normal_address_phase {
message(NONE,"checking for X or Z values during address phase");
check that (env.smp.sig_read.has_z() == FALSE and env.smp.sig_read_has_x() = FALSE);
};

And see what happens...
1. Is the address phase event defined correctly?
2. If yes - maybe you're sampling the bus at transition point from X/Z to valid value


Hope this helps :-)


Yaron.

I also think that event normal_address_phase is a suspect.