riscv-monotonic-clk-c.pdf