Guest
Hello
I am trying to model an equivalent from Verilog to Vital and it has
if ((SPEED1 == 1'b0)&&(SPEED0 == 1'b1))
(TXDP *> DP) = (1.000, 1.000);
So in Vital I am
VitalPathDelay01Z(
OutSignal => DP,
OutSignalName => "DP",
OutTemp => DP_zd,
Paths => (
0 => ( TXDP_ipd'LAST_EVENT,
VitalExtendToFillDelay(tpd_TXDP_DP_SPEED1_EQ_0_AN_tpd_TXDP_DP
_SPEED0_EQ_1),
(To_X01(SPEED1_ipd) /= '1') ),
to the X01 function I can only use one signal. How do I feed the 2
signals to X01 the 2 signals are SPEED1_ipd /= 1 and SPEED0_ipd /= 0
Thanks
kc
I am trying to model an equivalent from Verilog to Vital and it has
if ((SPEED1 == 1'b0)&&(SPEED0 == 1'b1))
(TXDP *> DP) = (1.000, 1.000);
So in Vital I am
VitalPathDelay01Z(
OutSignal => DP,
OutSignalName => "DP",
OutTemp => DP_zd,
Paths => (
0 => ( TXDP_ipd'LAST_EVENT,
VitalExtendToFillDelay(tpd_TXDP_DP_SPEED1_EQ_0_AN_tpd_TXDP_DP
_SPEED0_EQ_1),
(To_X01(SPEED1_ipd) /= '1') ),
to the X01 function I can only use one signal. How do I feed the 2
signals to X01 the 2 signals are SPEED1_ipd /= 1 and SPEED0_ipd /= 0
Thanks
kc