Question is
After signal A is asserted, Signal B Must be de-asserted , and must remain de-asserted until next assertion of signal A.
how can we write an assertion for this ??
Question is
After signal A is asserted, Signal B Must be de-asserted , and must remain de-asserted until next assertion of signal A.
how can we write an assertion for this ??