Im trying to write an assertion in which I want to verify that an output, for instance, data_read, changes on a negedge of clk. Sounds simple, but Ive tried a lot of “solutions” but with no success. Maybe I am stuck in a wrong way of thinking the assertion.
Thank you for help!
Im trying to write an assertion in which I want to verify that an output, for instance, data_read, changes on a negedge of clk. Sounds simple, but Ive tried a lot of “solutions” but with no success. Maybe I am stuck in a wrong way of thinking the assertion.