Search papers, labs, and topics across Lattice.
Barkhausen Institut
1
0
3
Proving semantic equivalence between LLVM IR and RISC-V code is now possible within a single framework, thanks to a new formal RISC-V semantics built on Interaction Trees.
