1,235 followers
@duns_sc0tus @endless_sine The main author also published a rigorous verification of a piplined multicore MIPS CPU and kernel here: https://t.co/2Yg7xzy7Rk
@duns_sc0tus @endless_sine The main author also published a rigorous verification of a piplined multicore MIPS CPU and kernel here: https://t.co/2Yg7xzy7Rk