x propagation

DATE highlights for Mentor include a 90-minute workshop on achieving functional safety for autonomous driving.

DVCon China saw Mentor's chairman and CEO give a typically thorough keynote on the evolving challenges for verification.

More than 20 new features and improvements are added to the static functional tool.

Verify early and simulate as little as possible - the idea is familiar but how do you get there?

Upgrade to Ascent XV X-propagation and reset optimization tool claims 10X runtime gain, deeper reporting, further integration with Verdi and more.

Cadence's Incisive 13.2 verification environment includes new formal and constraints engines, X propagation checks, and further real-number model support.

Updated tool checks for correct design initialization, as well as managing X optimism and X pessimism at RTL or netlist level.

Real Intent has linked its key tools into Synopsys' VCS Verilog simulation and HDL Compiler tool flows.

New features provide enhanced formal checking analysis, code coverage closure and extended clock domain crossing analysis.