Cadence attacks assertion-based verification bottlenecks

Cadence Design Systems has updated its functional verification tools with three new capabilities that claim to relieve bottlenecks in assertion-based verification.