Pour les cartes SD, les spécs officielles "simplifiées" sont dispos ici (elles ne documentent que le mode 1 bit SPI, pour avoir la doc sur le mode 4 bits il faut payer la licence) : https://www.sdcard.org/downloads/pls/simplified_specs/

Une doc non-officielle mais plus digeste existe ici : http://elm-chan.org/docs/mmc/mmc_e.html

Si tu n'as pas le temps/l'envie de faire du VHDL toi-même, il y a toujours OpenCores.