Some notes on the model

[guancio]

sw-spi-cam-model/new_model/read_SPIregsScript.sml

Line 62 in 7e6a964

else if pa = SPI0_RX0 /\ (CHECK_RXS_BIT spi) /\ (spi.regs.CH0CONF.WL >+ 3w)

WL is basically the byte offset inside a word. When WL is reset? When do we read the next word? Do we need to work word based? What happen if someone sends only 3 bytes?

read_RX0 should reset CHECK_RXS_BIT spi, which is later set again by an internal transition.