100644 blob 5a7a08552d624c57a8de1bf4d82bfb329279f82b	fwrisc_decode_formal_i32_btype_test.sv
100644 blob 9450677e9b0862b61c671c099b3d62543ba9acd1	fwrisc_decode_formal_i32_itype_test.sv
100644 blob 1b601fcaf3eccb5752788ad998efdffb8ef09601	fwrisc_decode_formal_i32_lui_test.sv
100644 blob 6bba46f955fd7371e8c7a4c572bf8f69fcd20d62	fwrisc_decode_formal_i32_rtype_test.sv
100644 blob 696beb4369d9239659898cba35eae8498a7ca860	fwrisc_decode_formal_opcode_defines.svh
100644 blob 8cd2e4e64d85341e72d8cd1ade31e29d8bfc1395	fwrisc_decode_formal_smoke_test.sv