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

, но это может быть бОльшей проблемой, насколько я понимаю.