SAIF problem

[Michael]

Hello all,

I have problem with gathering toggle from the simulation. I have
memory with SAIF file generated by "lib2saif" command. And it contains
of following section:
(LIBRARY "saif_test_slow"
(MODULE "saif_test"
(PORT
(CLK
(
COND (!(WE_[1] * WE_[0] * WE_[2] * WE_[3]) * !CE_) RISE_FALL
COND (WE_[0] * !CE_ * WE_[1] * WE_[2] * WE_[3]) RISE_FALL
COND !CE_ RISE_FALL
COND CE_ RISE_FALL
)
)
)
)
)

As a result I get:
(INSTANCE saif_test_i
(PORT
(CLK
(T0 40000) (T1 30000) (TX 0)
(COND (!(WE_[1]*WE_[0]*WE_[2]*WE_[3])*!CE_) (RISE) (TC 0)
(IG 0)
COND (!(WE_[1]*WE_[0]*WE_[2]*WE_[3])*!CE_) (FALL) (TC 0)
(IG 0)
COND (WE_[0]*!CE_*WE_[1]*WE_[2]*WE_[3]) (RISE) (TC 0) (IG
0)
COND (WE_[0]*!CE_*WE_[1]*WE_[2]*WE_[3]) (FALL) (TC 0) (IG
0)
COND (!CE_) (RISE) (TC 2) (IG 0)
COND (!CE_) (FALL) (TC 2) (IG 0)
COND CE_ (RISE) (TC 1) (IG 0)
COND CE_ (FALL) (TC 1) (IG 0)
)
)
)
)

I definetily see on the waves that there are read (CE_==0 &&
WE_==4'b1111) and write (CE_==0 && WE_!=4'b1111) to the module. But
they are not appear in the TC.

Does anybody what is a problem and how to solve it?
It looks like Synopsys' PLI function won't to count toggling defined as
part of the verctor (WE_[0], etc)

Thank you.