Unless it changed recently, I think it doesn't have full support for BRAM, and no support for BSP and hard blocks, right ? I wouldn't be surprised if some were used in the Mister project. (Doesn't change the fact that Stmbiflow is an impressive feat)