top.v

module top(clk, in, out);
    parameter DEPTH=10;
    input wire clk, in;
    output reg out;


    always @(posedge clk)
		assert($changed(in) == (in != $past(in)));

endmodule