Разберём, как академический симулятор gem5 превратили в performance-модель для индустриального RISC-V процессора: потактовая точность, трассировка out-of-order конвейера, удачные и не очень решения по sw-hw co-design. Узнаем, почему BIOS и BMC становятся частью периметра защиты сервера ещё до загрузки ОС. А формальное доказательство проведём руками, с Z3. Разберем руками Яндекс Станцию и узнаем почему она сделана именно так у эксперта.