No files found.
+14 −0
spi.sby
rtl/spi.sby
+120 −36
spi_client.v
rtl/spi_client.v
+50 −0
spi_formal.gtkw
rtl/spi_formal.gtkw