100644 blob bf669b8ce8821130764bfd97fa734ab02c3059c5	fwrisc_fetch_formal_defines.svh
100644 blob a8aedff17797bb82a99a74ff1984e307f6a91629	fwrisc_fetch_formal_seqmix_checker.sv
100644 blob 064b788b99aced49e9b12ce988aeb021fa0af323	fwrisc_fetch_formal_smoke_checker.sv
100644 blob b5fdfbff8adddd44af2ec54f498a0a0049ae4dd1	fwrisc_fetch_formal_tb.sv