| caravel_clocking.v: OK |
| caravel.v: FAILED |
| chip_io.v: OK |
| clock_div.v: OK |
| convert_gpio_sigs.v: OK |
| counter_timer_high.v: OK |
| counter_timer_low.v: OK |
| DFFRAMBB.v: OK |
| DFFRAM.v: OK |
| digital_pll_controller.v: OK |
| digital_pll.v: OK |
| gpio_control_block.v: OK |
| gpio_wb.v: OK |
| housekeeping_spi.v: OK |
| la_wb.v: OK |
| mem_wb.v: OK |
| mgmt_core.v: OK |
| mgmt_protect_hv.v: OK |
| mgmt_protect.v: OK |
| mgmt_soc.v: OK |
| mprj2_logic_high.v: OK |
| mprj_ctrl.v: OK |
| mprj_io.v: OK |
| mprj_logic_high.v: OK |
| pads.v: OK |
| picorv32.v: OK |
| ring_osc2x13.v: OK |
| simple_por.v: OK |
| simple_spi_master.v: OK |
| simpleuart.v: OK |
| sky130_fd_sc_hvl__lsbufhv2lv_1_wrapped.v: OK |
| spimemio.v: OK |
| sram_1rw1r_32_256_8_sky130.v: OK |
| storage_bridge_wb.v: OK |
| storage.v: OK |
| sysctrl.v: OK |
| wb_intercon.v: OK |
