ZipCPU Verification Report

20240116

StatusComponentProofComponent description
Passaxilfetch_prfAXI-Lite instruction fetch
5 Cover pointsaxilfetch_cvrdbl64
5 Cover pointsaxilfetch_cvr
5 Cover pointsaxilfetch_cvrdbl
Passaxilfetch_prfdbl64
5 Cover pointsaxilfetch_cvr64
Passaxilfetch_prff
5 Cover pointsaxilfetch_cvrf64
Passaxilfetch_prff64
Passaxilfetch_prfdbl
5 Cover pointsaxilfetch_cvrf
Passaxilfetch_prf64
Passaxilops_prfSimple AXI-Lite data controller
Passaxilops_prfu64
10 Cover pointsaxilops_cvr
Passaxilops_prfu64lp
Passaxilops_prflp
Passaxilops_prfu
Passaxilops_prf64lp
10 Cover pointsaxilops_cvr64
Passaxilops_prf64
Passaxilops_prfulp
Passaxilpipe_prfAXI-Lite pipelined memory controller
22 Cover pointsaxilpipe_cvr64
Passaxilpipe_prfu
Passaxilpipe_prf64
22 Cover pointsaxilpipe_cvr
26 Cover pointsaxilpipe_cvru
Passaxilpipe_prfu64
Passbusdelay_prfdlpA bus delay
Passbusdelay_prf
Passbusdelay_prflp
Passbusdelay_prfd
Passcpuops_prfCPU ALU
Passdblfetch_prf8bWB Instruction fetch, fetches two insns at a time
Passdblfetch_prf64b
Passdblfetch_prf
Passdblfetch_prf8ble
Passdblfetch_prf128b
2 Cover pointsdblfetch_cvr
4 Cover pointsdcache_coverWB Data cache
Passdcache_prf64
Passdcache_prf128lp
Passdcache_piped
Passdcache_prf128
Passdcache_nolock_system
Passdcache_full
Passdcache_full_single
Passdcache_prf64lp
Passdcache_bare
16 Cover pointsdcache_cover_pipe
Passdcache_nolock_nolocal
Passdiv_prfDivide unit
Passdiv_prflp
Passicontrol_prfInterrupt controller
4 Cover pointsicontrol_cvr
Passidecode_nopipe_nodiv_nompy_nocis_nopipeInstruction decoder
Passidecode_pipe_div_mpy_nocis_nopipe
Passidecode_pipe_div_nompy_nocis_nopipe
Passidecode_pipe_div_mpy_cis_nopipe
Passidecode_pipe_nodiv_nompy_nocis_nopipe
Passidecode_pipe_div_mpy_cis_opipe
Passidecode_pipe_div_mpy_nocis_pipe
Passmemops_prflckSimple WB memory controller
Passmemops_prf128lcl
Passmemops_prflcklcl
Passmemops_prf64lplcl
Passmemops_prf64
Passmemops_prflcl
Passmemops_prf64lcl
Passmemops_prf128lck
Passmemops_prflp
Passmemops_prflcklplcl
Passmemops_prf128lplcl
Passmemops_prf128lp
7 Cover pointsmemops_cvr
Passmemops_prflplcl
Passmemops_prf128
Passmemops_prf64lp
Passmemops_prflcklp
Passmemops_prf
Passpfcache_prfWB instruction fetch and cache
Passpfcache_prf64
Passpfcache_prf128
7 Cover pointspfcache_cvr
Passpffifo_prf8bFIFO based WB instruction fetch
6 Cover pointspffifo_cvr
Passpffifo_prf128b
Passpffifo_prf
Passpffifo_prf8ble
Passpffifo_prf64b
Passpipemem_prfWB Pipelined memory controller
Passpipemem_lcl_noaligned_lock
Passpipemem_lcl_noaligned_nolock
Passpipemem_prflcl
Passpipemem_prflck
Passpipemem_prflcllck
Passpipemem_prf64
Passpipemem_nolcl_noaligned_nolock
Passpipemem_prf128
Passpipemem_nolcl_noaligned_lock
Passprefetch_prf8bSimple WB instruction fetch
Passprefetch_prf8ble
Passprefetch_prf128b
Passprefetch_prf64b
Passprefetch_prf
Passwbdblpriarb_prfWB double priority arbiter, for global and local buses
Passwbwatchdog_prfWB Watchdog controller
Passzipaxi_prfAXI ZipCPU wrapper
Passzipaxil_prfAXI-Lite ZipCPU wrapper
Passzipbones_prfSimpler Wishbone wrapper
Passzipcore_pipedlpCore ZipCPU
Passzipcore_pipedckh
Passzipcore_lowlogiclp
Passzipcore_pipedbk
Passzipcore_pipedlpck
Passzipcore_ice40
Passzipcore_nopipe
Passzipcore_lowlogiclpckh
Passzipcore_lowlogiclpck
Passzipcore_pipedlpckh
Passzipcore_lowlogic
Passzipcore_piped
69 Cover pointszipcore_cvr
Passzipcore_nopipelp
Passzipcounter_prfA simpler peripheral counter
Passzipdma_rxgears_cvrWB ZipDMA incoming gearbox
Passzipdma_rxgears_prfw
Passzipdma_rxgears_prf
11 Cover pointszipdma_s2mm_cvrWB ZipDMA write half
Passzipdma_s2mm_prf
11 Cover pointszipdma_txgears_cvrwWB ZipDMA outgoing gearbox
11 Cover pointszipdma_txgears_cvr
Passzipdma_txgears_prf
Passzipdma_txgears_prfw
Passzipjiffies_prfZipCPU Jiffies peripheral
Passzipmmu_prfZip MMU (deprecated)
Passziptimer_prfrPeripheral timer
Passziptimer_prf