OneSpin unveils checking solution for FPGAs

EDA software vendor OneSpin Solutions GmbH (Munich, Germany) has introduced a sequential equivalence checking solution dedicated to FPGA synthesis verification.