| Status | Component | Proof | Component description |
|---|
|
| 7 Cover points | llsdspi | _cvr | Low-Level SPI handler |
| 7 Cover points | llsdspi | _cvra |
| Pass | llsdspi | _prfc |
| Pass | llsdspi | _prfa |
| Pass | llsdspi | _prf |
|
| Pass | sdaxil | _prfds | SDIO AXI-Lite Bus handler |
| Pass | sdaxil | _prf |
| Pass | sdaxil | _prfdma |
| 18 Cover points | sdaxil | _cvr |
| Pass | sdaxil | _prfdr |
|
| Pass | sdckgen | _prf | SDIO Divided clock generator |
|
| 8 Cover points | sdcmd | _cvr | SDIO CMD wire controller |
| Pass | sdcmd | _prfds |
| Pass | sdcmd | _prf |
|
| Pass | sdrxframe | _prf | SDIO receive data handler |
| Pass | sdrxframe | _prfs |
| 25 Cover points | sdrxframe | _cvr |
|
| Pass | sdspi | _prf | SDSPI Top level controller |
|
| 34 Cover points | sdtxframe | _cvr | SDIO transmit data controller |
| Pass | sdtxframe | _prf |
|
| 19 Cover points | sdwb | _cvr | SDIO Wishbone Bus handler |
| Pass | sdwb | _prfds |
| Pass | sdwb | _prf |
| Pass | sdwb | _prfdma |
| Pass | sdwb | _prfdr |
|
| Pass | spicmd | _prf | SPI Command processor |
| 11 Cover points | spicmd | _cvr |
|
| Pass | spirxdata | _prf | SPI Data receive handler |
| Pass | spirxdata | _prfle |
| 16 Cover points | spirxdata | _cvr |
|
| Pass | spitxdata | _prfle | SPI Data transmit handler |
| Pass | spitxdata | _prf |
| 14 Cover points | spitxdata | _cvr |