formal specification

  • ХабрахабрФото Как я пришел к формальной спецификации RISC-V процессора на F#

    Как я пришел к формальной спецификации RISC-V процессора на F#

    Эта мечта привела меня к написанию формально спецификации RISC-V процессора. Томными зимними вечерами, когда солнце лениво пробегало сквозь пелену дней — я нашел в себе силы заняться реализацией давней мечты: разобраться как же устроены процессоры. Проект на Github Как это было По большей части это были научные исследования, математическое моделирование в рамках курсовых работ и научных статей. Подобное желание у…

    Читать далее »


Кнопка «Наверх»