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 |