a = Signal(); b = Signal(); c = Signal()
m.submodules += Instance("BUF", i_I=a, o_O=b)
m.d.comb += c.eq(b^a)
m.d.sync += a.eq(~a)
m.d.comb += Assert(c)