Ausdia Introduces Timevision NFormal at the 59th Design Automation Conference

SAN FRANCISCO–(BUSINESS WIRE)–DESIGN AUTOMATION CONFERENCE Ausdia, the leading developer of design constraints verification and management solutions, introduced a major enhancement to its SDC formal platform at the 59th Design Automation Conference (DAC) 2022.

TimevisionTM NFormal features a new frontend for advanced proof grouping, an adaptive logic model that iteratively generates the most accurate proof states, and additional prover engines for SDC verification that transparently adapt to the design without sacrificing proof quality.

“We used Ausdia’s Timevision constraints and exception verification platform on a range of IP blocks in a current design implementation, and addressed multiple legitimate issues found automatically by the tool,” said Namit Varma, Sr. Director, India Technology Center at Achronix. “These included a number of incorrect false & multicycle paths flagged by Timevision’s formal verification engine. Correcting these issues early led to us having much higher confidence in the quality of the timing constraints, given the rigorous analysis performed by Timevision.”

Timevision is a comprehensive timing constraints development, verification and management solution that complements all implementation and timing signoff flows. It has the capacity to handle over 1 billion cells and thousands of clocks. Timevision integrates with all aspects of the design flow and is used before synthesis, before DFT insertion, before place and route, and when signoff timing is being run. Timevision helps designers create good SDC constraints and is a verification platform for existing timing constraints.

Ausdia is highlighting the Timevision platform in booth # 2310 at the Design Automation Conference (DAC) being held at Moscone West in San Francisco, CA from July 11 – 13, 2022.

Timevision NFormal is scheduled for general availability in Q4 2022.

About Ausdia

Ausdia delivers standout timing constraint development, verification, and management solutions that complement all implementation and timing signoff flows. The company’s groundbreaking methodology and products give system-on-chip (SoC) and integrated circuit (IC) developers a new way to work, enabling massive productivity gains throughout the design flow. Founded in 2006, the privately held company is headquartered in Sunnyvale, California.

All references to Ausdia trademarks are the property of Ausdia. All other trademarks mentioned herein are the property of their respective owners.


Media Contact:
Michelle Clancy


Selección de Europa Rup

Denver Tech Center CPA Firm Recognized as Runner Up “Best Colorado Accounting Firm” by Colorado Biz Magazine

GREENWOOD VILLAGE, Colo.--(BUSINESS WIRE)--Gomerdinger CPAs was awarded “runner up” in the 2022 Colorado Biz Magazine’s “Best of Colorado” Annual Readers’ Poll special supplement. CEO,...

Glancy Prongay & Murray LLP Reminds Investors of Looming Deadline in the Class Action Lawsuit Against Missfresh Limited (MF)

LOS ANGELES--(BUSINESS WIRE)--Glancy Prongay & Murray LLP (“GPM”) reminds investors of the upcoming September 12, 2022 deadline to file a lead plaintiff motion in...

Leading manufacturer of engineered plastics becomes Viaflex

Raven Engineered Films adopts a new name after its acquisition by Industrial Opportunity Partners in April SIOUX FALLS, S.D.--(BUSINESS WIRE)--Today, Sioux Falls-based Raven Engineered Films...