finanzen.net
25.06.2019 02:00
Bewerten
(0)

Synopsys Delivers 100X Faster Formal Verification Closure for AI, Graphics, and Processor Designs

VC Formal Datapath Validation Application Enables Broad Market Adoption of HECTOR Technology

MOUNTAIN VIEW, California, June 25, 2019 /PRNewswire/ --

Highlights:

  • VC Formal Datapath Validation application delivers over 100X speed-up in formal verification between a reference C/C++ algorithm and RTL design implementation over conventional techniques
  • The new app integrates VC Formal's debug and usability features enabled through Verdi with proven HECTOR technology

Synopsys, Inc. (Nasdaq: SNPS) today introduced the Datapath Validation (DPV) app as part of its VC Formal® solution. The DPV app leverages proven HECTOR technology to deliver exhaustive formal verification closure on datapath-intensive designs during the design and verification cycle for broad market adoption. The app also delivers over 100X speed-up in formal verification between a reference C/C++ algorithm and RTL design implementation over conventional techniques of complex system-on-chip (SoC) designs, and enables exhaustive functional verification in situations previously deemed impractical.

"Our mission is to develop high-quality CPU, GPU, and system IP for mobile SoC applications, which requires a highly competitive feature set, excellent overall performance, and very low power consumption under extremely tight schedules," said Xiushan Feng, Formal Verification Lead for the GPU & CPU team at Samsung SARC and Advanced Computing Lab. "Formal verification of C/C++ algorithms provides exhaustive verification for our datapath-centric designs to efficiently discover corner-base bugs in minutes, where other techniques would have been impractical. VC Formal's HECTOR technology delivers best-in-class performance and quality of results, which enabled us to successfully reduce our simulation efforts and helped catch more than 30 RTL bugs in our designs."

Artificial intelligence (AI), graphics, and processor designs involve complex algorithmic functional blocks that are datapath heavy and require their behavior to be modeled in high-level languages such as C/C++. The implemented RTL for these designs needs to be subsequently verified for functional equivalence with the C/C++ model. The native integration of VC Formal with Synopsys' Verdi® automated debug system enables design and verification teams to easily leverage formal technologies and automate root cause analysis of formal results. Additionally, the native integration of VCS in VC Formal facilitates easy insertion of formal analysis into the existing verification environment.

The DPV app joins the growing portfolio of VC Formal apps, including Property Verification (FPV), Sequential Equivalence Checks (SEQ), Register Verification (FRV), Formal Coverage Analyzer (FCA), Connectivity Checking (CC), X-Propogation Checks (FXP), Formal Testbench Analyzer (FTA), Automatic Extraction of Properties (AEP), and Regression Mode Accelerator (RMA).

"There is an increase in datapath-intensive designs that require specialized datapath validation techniques to achieve faster verification closure," said Ajay Singh, senior vice president of Engineering in the Verification Group at Synopsys. "We have long collaborated with industry leaders to deliver comprehensive verification solutions for advanced SoCs. Our investment in datapath validation technology enables a faster path to verification closure and accelerate time-to-market."

Availability

The VC Formal Datapath Validation application is available now.

Additional Resources

For more information on VC Formal please visit: 

  • InFormal Chat blog: https://blogs.synopsys.com/informal-chat/
  • VC Formal DPV webpage

About Synopsys

Synopsys, Inc. (Nasdaq: SNPS) is the Silicon to Software partner for innovative companies developing the electronic products and software applications we rely on every day. As the world's 15th largest software company, Synopsys has a long history of being a global leader in electronic design automation (EDA) and semiconductor IP and is also growing its leadership in software security and quality solutions. Whether you're a system-on-chip (SoC) designer creating advanced semiconductors, or a software developer writing applications that require the highest security and quality, Synopsys has the solutions needed to deliver innovative, high-quality, secure products. Learn more at www.synopsys.com.

Editorial Contacts:
Camille Xu
Synopsys, Inc.
wexu@synopsys.com

James Watts
Synopsys, Inc.
jwatts@synopsys.com

SOURCE Synopsys, Inc.

Anzeige
Anzeige
Börse Stuttgart Anlegerclub

Die richtige Strategie für die Börsenkrise

Stecken Sie nicht den Sand in den Kopf, sondern kaufen Sie die richtigen Aktien. Erfahren Sie im aktuellen Anlegermagazin mehr über attraktive Qualitätsaktien und zyklische Aktien
Kostenfrei registrieren und lesen!

Heute im Fokus

DAX geht etwas fester ins Wochenende -- Dow Jones im Minus -- Wirecard: Zusammenarbeit mit Aldi -- Zipse wird neuer BMW-Vorstandschef -- Software AG, Bayer, Sartorius, Microsoft, Boeing im Fokus

Pfeiffer Vacuum passt Prognose nach Quartalszahlen an. American Express meldet Gewinnsprung. Ex-Automanager Ghosn reicht Klage gegen Nissan und Mitsubishi ein. NORMA passt Jahresprognose an. Heidelberger Druck-Aktien setzen Kurseinbruch fort. AB InBev verkauft Australien-Geschäft. Munich Re erzielt Milliarden-Gewinn.

Die 5 beliebtesten Top-Rankings

Die 12 toten Topverdiener 2019
Diese Legenden sind die bestbezahlten Toten der Welt
Das hat sich geändert
Diese Aktien hat George Soros im Depot
Big-Mac-Index
In welchen Ländern kostet der Big Mac wie viel?
Die Länder mit den größten Goldreserven 2019
Wer lagert das meiste Gold?
In diesen Berufen bekommt man das niedrigste Gehalt
Welche Branchen man besser meiden sollte.
mehr Top Rankings

Umfrage

Wo sehen Sie den DAX Ende 2019?

Online Brokerage über finanzen.net

finanzen.net Brokerage
Handeln Sie für nur 5 Euro Orderprovision* pro Trade aus der Informationswelt von finanzen.net!

ETF-Sparplan

Oskar ist der einfache und intelligente ETF-Sparplan. Er übernimmt die ETF-Auswahl, ist steuersmart, transparent und kostengünstig.
Zur klassischen Ansicht wechseln
Kontakt - Impressum - Werben - Pressemehr anzeigen
Top News
Beliebte Suchen
DAX 30
Öl
Euro US-Dollar
Bitcoin
Goldpreis
Meistgesucht
Deutsche Bank AG514000
Microsoft Corp.870747
Daimler AG710000
Scout24 AGA12DM8
Wirecard AG747206
Amazon906866
Apple Inc.865985
TeslaA1CX3T
Allianz840400
BMW AG519000
NEL ASAA0B733
E.ON SEENAG99
Infineon AG623100
BayerBAY001
BASFBASF11