SMя имел в виду
Код
always @(*)
case ()
это раз.
во-вторых, там слишком много всяких "если" для того чтобы это дело из примера всегда гарантированно infer-илось.
при этом явных указаний например на то какая должна быть минимальная разрядность шины адреса, шины данных, допустимо ли использовать default: - нету.
считаю что надежнее заложить RAM явно
провоцируем неудовлетворенных провокаторов с удовольствием.