Проектирование архитектуры и математических алгоритмов российской микросхемы высокоскоростного контроллера SSD в системе высокоуровневого моделирования ИРИС, разработанной в МГУдоклад на конференции