| Status | Component | Proof | Component description |
|---|
|
| Pass | axilfetch | _prf | AXI-Lite instruction fetch |
| 5 Cover points | axilfetch | _cvrdbl64 |
| 5 Cover points | axilfetch | _cvr |
| 5 Cover points | axilfetch | _cvrdbl |
| Pass | axilfetch | _prfdbl64 |
| 5 Cover points | axilfetch | _cvr64 |
| Pass | axilfetch | _prff |
| 5 Cover points | axilfetch | _cvrf64 |
| Pass | axilfetch | _prff64 |
| Pass | axilfetch | _prfdbl |
| 5 Cover points | axilfetch | _cvrf |
| Pass | axilfetch | _prf64 |
|
| Pass | axilops | _prf | Simple AXI-Lite data controller |
| Pass | axilops | _prfu64 |
| 10 Cover points | axilops | _cvr |
| Pass | axilops | _prfu64lp |
| Pass | axilops | _prflp |
| Pass | axilops | _prfu |
| Pass | axilops | _prf64lp |
| 10 Cover points | axilops | _cvr64 |
| Pass | axilops | _prf64 |
| Pass | axilops | _prfulp |
|
| Pass | axilpipe | _prf | AXI-Lite pipelined memory controller |
| 22 Cover points | axilpipe | _cvr64 |
| Pass | axilpipe | _prfu |
| Pass | axilpipe | _prf64 |
| 22 Cover points | axilpipe | _cvr |
| 26 Cover points | axilpipe | _cvru |
| Pass | axilpipe | _prfu64 |
|
| Pass | busdelay | _prfdlp | A bus delay |
| Pass | busdelay | _prf |
| Pass | busdelay | _prflp |
| Pass | busdelay | _prfd |
|
| Pass | cpuops | _prf | CPU ALU |
|
| Pass | dblfetch | _prf8b | WB Instruction fetch, fetches two insns at a time |
| Pass | dblfetch | _prf64b |
| Pass | dblfetch | _prf |
| Pass | dblfetch | _prf8ble |
| Pass | dblfetch | _prf128b |
| 2 Cover points | dblfetch | _cvr |
|
| 4 Cover points | dcache | _cover | WB Data cache |
| Pass | dcache | _prf64 |
| Pass | dcache | _prf128lp |
| Pass | dcache | _piped |
| Pass | dcache | _prf128 |
| Pass | dcache | _nolock_system |
| Pass | dcache | _full |
| Pass | dcache | _full_single |
| Pass | dcache | _prf64lp |
| Pass | dcache | _bare |
| 16 Cover points | dcache | _cover_pipe |
| Pass | dcache | _nolock_nolocal |
|
| Pass | div | _prf | Divide unit |
| Pass | div | _prflp |
|
| Pass | icontrol | _prf | Interrupt controller |
| 4 Cover points | icontrol | _cvr |
|
| Pass | idecode | _nopipe_nodiv_nompy_nocis_nopipe | Instruction decoder |
| Pass | idecode | _pipe_div_mpy_nocis_nopipe |
| Pass | idecode | _pipe_div_nompy_nocis_nopipe |
| Pass | idecode | _pipe_div_mpy_cis_nopipe |
| Pass | idecode | _pipe_nodiv_nompy_nocis_nopipe |
| Pass | idecode | _pipe_div_mpy_cis_opipe |
| Pass | idecode | _pipe_div_mpy_nocis_pipe |
|
| Pass | memops | _prflck | Simple WB memory controller |
| Pass | memops | _prf128lcl |
| Pass | memops | _prflcklcl |
| Pass | memops | _prf64lplcl |
| Pass | memops | _prf64 |
| Pass | memops | _prflcl |
| Pass | memops | _prf64lcl |
| Pass | memops | _prf128lck |
| Pass | memops | _prflp |
| Pass | memops | _prflcklplcl |
| Pass | memops | _prf128lplcl |
| Pass | memops | _prf128lp |
| 7 Cover points | memops | _cvr |
| Pass | memops | _prflplcl |
| Pass | memops | _prf128 |
| Pass | memops | _prf64lp |
| Pass | memops | _prflcklp |
| Pass | memops | _prf |
|
| Pass | pfcache | _prf | WB instruction fetch and cache |
| Pass | pfcache | _prf64 |
| Pass | pfcache | _prf128 |
| 7 Cover points | pfcache | _cvr |
|
| Pass | pffifo | _prf8b | FIFO based WB instruction fetch |
| 6 Cover points | pffifo | _cvr |
| Pass | pffifo | _prf128b |
| Pass | pffifo | _prf |
| Pass | pffifo | _prf8ble |
| Pass | pffifo | _prf64b |
|
| Pass | pipemem | _prf | WB Pipelined memory controller |
| Pass | pipemem | _lcl_noaligned_lock |
| Pass | pipemem | _lcl_noaligned_nolock |
| Pass | pipemem | _prflcl |
| Pass | pipemem | _prflck |
| Pass | pipemem | _prflcllck |
| Pass | pipemem | _prf64 |
| Pass | pipemem | _nolcl_noaligned_nolock |
| Pass | pipemem | _prf128 |
| Pass | pipemem | _nolcl_noaligned_lock |
|
| Pass | prefetch | _prf8b | Simple WB instruction fetch |
| Pass | prefetch | _prf8ble |
| Pass | prefetch | _prf128b |
| Pass | prefetch | _prf64b |
| Pass | prefetch | _prf |
|
| Pass | wbdblpriarb | _prf | WB double priority arbiter, for global and local buses |
|
| Pass | wbwatchdog | _prf | WB Watchdog controller |
|
| Pass | zipaxi | _prf | AXI ZipCPU wrapper |
|
| Pass | zipaxil | _prf | AXI-Lite ZipCPU wrapper |
|
| Pass | zipbones | _prf | Simpler Wishbone wrapper |
|
| Pass | zipcore | _pipedlp | Core ZipCPU |
| Pass | zipcore | _pipedckh |
| Pass | zipcore | _lowlogiclp |
| Pass | zipcore | _pipedbk |
| Pass | zipcore | _pipedlpck |
| Pass | zipcore | _ice40 |
| Pass | zipcore | _nopipe |
| Pass | zipcore | _lowlogiclpckh |
| Pass | zipcore | _lowlogiclpck |
| Pass | zipcore | _pipedlpckh |
| Pass | zipcore | _lowlogic |
| Pass | zipcore | _piped |
| 69 Cover points | zipcore | _cvr |
| Pass | zipcore | _nopipelp |
|
| Pass | zipcounter | _prf | A simpler peripheral counter |
|
| Pass | zipdma_rxgears | _cvr | WB ZipDMA incoming gearbox |
| Pass | zipdma_rxgears | _prfw |
| Pass | zipdma_rxgears | _prf |
|
| 11 Cover points | zipdma_s2mm | _cvr | WB ZipDMA write half |
| Pass | zipdma_s2mm | _prf |
|
| 11 Cover points | zipdma_txgears | _cvrw | WB ZipDMA outgoing gearbox |
| 11 Cover points | zipdma_txgears | _cvr |
| Pass | zipdma_txgears | _prf |
| Pass | zipdma_txgears | _prfw |
|
| Pass | zipjiffies | _prf | ZipCPU Jiffies peripheral |
|
| Pass | zipmmu | _prf | Zip MMU (deprecated) |
|
| Pass | ziptimer | _prfr | Peripheral timer |
| Pass | ziptimer | _prf |