How to write an assertion for following case-
There are 2 signals a, b. Signal a is synchronous to negedge of clk and Signal b synchronous to posedge of clk.
Whenever signal a falls at a negedge of clk, at the immediate following posedge of clk,signal b should fall.
clk is same for a, b.
Any alternative to assertion will also be helpful.
Any help would be appreciated