April 20, 2017
Mentor Graphics expands formal verification’s reach with new cross-platform GUI and apps for sequential logic equivalence checking and CDC gate-level analysis
Mentor, a Siemens business, today announced new formal-based technologies in the Questa Verification Solution that provide RTL designers and verification…