100644 blob 87ed32ed1c7666d02ca301065ced657acdabf369	fwrisc_formal_add_i.svh
100644 blob 52c17183dc8b2a78270651affd41d2ee3979b0ad	fwrisc_formal_add_r.svh
100644 blob 2b756125c9211322a14e75982ae6594b058e4e6a	fwrisc_formal_and_r.svh
100644 blob a1f39415b571a927399cdc1f141ee83a5a2d0682	fwrisc_formal_auipc.svh
100644 blob 6b2c6d660ad57450a1908c35256ce199a9f8a274	fwrisc_formal_jal.svh
100644 blob 5774272e87708a2e75a213bfb7401774536e3b92	fwrisc_formal_jalr.svh
100644 blob 71e8f1cef40db9605c2c43232d2e0a87fdf6288a	fwrisc_formal_ld.svh
100644 blob 71e8f1cef40db9605c2c43232d2e0a87fdf6288a	fwrisc_formal_lui.svh
100644 blob 41e2b5b4214de13d5640650e65d63e7b360ffd4b	fwrisc_formal_or_i.svh
100644 blob 092907c35ed2f23fc7f3d3cfe2e998b358755a12	fwrisc_formal_or_r.svh
100644 blob 467696ed41c140bdab88bb9634539164c027454e	fwrisc_formal_sll_i.svh
100644 blob 2dea37e8809363fd6680f28af8ae5d2a592d7f62	fwrisc_formal_sll_r.svh
100644 blob 7fb0dfe473bfc26a9410a40502e66948c115dedb	fwrisc_formal_slt_i.svh
100644 blob 55df17b09f9ad2e83d73800144d0143d03f0a871	fwrisc_formal_slt_r.svh
100644 blob e8320af4a4f48ba9dee9ff183e313c9c27d744f7	fwrisc_formal_sltu_i.svh
100644 blob e093c787e80a6ddf7714d89a85d6a8852bd9525a	fwrisc_formal_sltu_r.svh
100644 blob cee3d9e226e50d972a10da87cb0de92234452075	fwrisc_formal_sra_r.svh
100644 blob 9594a6d6c44f6d35ad4808aa431ae71f9eafb7a3	fwrisc_formal_srl_r.svh
100644 blob 3567cc187a555ef37c6ccd25834140be1c5a6c30	fwrisc_formal_sub_r.svh
100644 blob 42d52af59c7aca4e7e0ef8c4fe9999f5347f58c3	fwrisc_formal_xor_i.svh
100644 blob 3c8eb791cc06d2e0b306aa34662a11c436e50b70	fwrisc_formal_xor_r.svh