LONDON — Target Compiler Technologies NV (Leuven, Belgium) is adding verification capabilities to its Chess/Checkers retargetable tool flow for intellectual-property design. Since its spin-off in 1996 ...