Thank you for contacting Cypress Technical Support, an Infineon Technologies Company. I don't think S25FL128S advanced verilog model with verbose debug is available but I will reconfirm with our modeling group and see if there are any other available.
S25FL128S advanced verilog model with verbose debug is not available. The models we provide to customers are to check HW connectivity and low-level transactions.
I understand but those low-levels transactions are not tracked.. you have to debug waveforms... this is sluggish....
I think it could be a good idea to have this feature included in your models.
The work around here is to develop a "spy" model decoding SPI commands sent over the line and dump them in a file.
That's a real pity your model could not do so because I have to develop something over the top
that Cypress as a device provider could provide embedded in its models.
Think that those models are also used by HW engineers not only SW.