Verification tool includes configurable IP

EDA startup OneSpin Solutions will come to DAC trade fair with an extension to its 360 MV formal verification tool. The software supports a complete verification even for configurable IP, the company claims.