SD Card Host interface, модель карточки (или сам интерфейс) Опции

[Chudik]

Надо написать 4 битный интерфейс к SD карточке. Посему хотелось бы Верилоговскую модель карточки, чтобы можно было отладить behaviour model. Может знает кто, где можно её найти?
Ещё бы лучше готовый интерфейс , но это может быть бОльшей проблемой, насколько я понимаю.

[rv3dll(lex)]

я написал в своё время такой интерфейс на VHDL для Xilinx V4FX20- достаточно сложный - аппаратная запись в Брам по 512 байт - прямо в память PPC многоскоростной и многокарточный.

единственное - это интеллектуальная собственность предприятия, на котором я работаю - но могу многое подсказать по интерфейсу и принципу!!!!!