Mentor, a Siemens business, announced new formal-based technologies in the Questa Verification Solution that provide RTL designers and verification engineers with the ability to more easily perform exhaustive formal verification analysis. The new interactive multi-platform graphical user interface (GUI) for the Questa PropCheck and Questa CDC apps enables users to be productive anywhere. The Questa […]
The post RTL verification software cuts verification turnaround by 10x appeared first on Microcontroller Tips.