You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
The always sensitivity list should allow break to happen when a =
continuous relation changes value to enable examples like the one below =
to be encoded.
Begin forwarded message:
=20
From: V.Dubikhin [email protected]
Subject: Re: Link
Date: August 31, 2016 at 7:24:54 PM GMT+1
To: Chris Myers [email protected]
=20
Property:
=20
=20
property ADC_Freq{
real adc_in;
real adc_out;
=20
bool high;
bool low;
=20
always {
=20
if ((adc_in >=3D 0)) {
=20
if (~high) {
high =3D true;
wait(adc_out >=3D 0);
low =3D false;
}
=20
assert(adc_out>=3D0, 5);
assert(adc_out<0, 10);
} else {
if (~low) {
low =3D true;
wait(adc_out >=3D 0);
high =3D false;
}
=20
assert(adc_out>=3D0, 10);
assert(adc_out<0, 5);
}
}
The text was updated successfully, but these errors were encountered:
The always sensitivity list should allow break to happen when a =
continuous relation changes value to enable examples like the one below =
to be encoded.
The text was updated successfully, but these errors were encountered: