Conclusion
Comme dans le cas de l'I2C les possibilités offertes par Isis sont intéressantes et permettent notamment :
de valider le contenu des trames SPI au regard du datasheet ;
de vérifier l'utilisation correcte de la bibliothèque SPI.h dans l'IDE Arduino.
Une simulation Isis ne garantit pas que le système réel fonctionnera, par contre il ne faut pas s'attendre à ce que le système réel fonctionne si l'on ne parvient pas à le faire fonctionner sous Isis (dans la mesure où les composants existent sous Isis bien entendu).