| Input A | Input B | Output | |---------|---------|--------| | 0 | 0 | 0 | | 0 | 1 | 0 | | 1 | 0 | 0 | | 1 | 1 | 1 |
: A properly verified PDF will contain a concrete example. For instance: C code : a = b + c; Three-address code : t1 = b + c; a = t1; RISC-V assembly : lw x10, 0(x5); lw x11, 4(x5); add x12, x10, x11; sw x12, 8(x5);