Подозреваю есть отдельный компилятор из скалки во что-то "нативное", например, верилог. В отголосках памяти мелькает универ в штатах, где этим занимались.
скала нейтив сам по себе плагин к сбт, который делает то, что ты описал. похоже у них или через него это делается, или, возможно, байт-код как-то в нативщину переводится. в любом случае, звучит интересно и я себе на полочку отложил юзкейс, когда будет время глубже поинтересуюсь