Cadence представила интеллектуальную платформу для формальной верификации Smart JasperGold