Synopsys Formality® Equivalence Performance Uplifts技术文档用户手册.pdf

[二

工PERFORMANCEBRIEF”HICHPERFORMANCECOMPUTINC

了各人

SYNOPSY9SFORMALITY9sEQUIVALENCEPERFORMANCEUPLIFT5

FORMALEQUIVALENCECHECIKINC

Poweredby4thGenAMDEPYC”ProcessorsWithAMD3DV-Cache”technology

March2024

ATACLANCE

4thCenAMDEPYC”9004processorsdeliverexceptionalruntime,throughput,andper-Wattperformancevs,prior-generation

AMDEPYC7003processorsrunningSynopsysFormalityeEquivalence.

PERFORMANCEHIGHLICHTS

1Psystemspoweredby16,32,and96-core4thGenAMDEPYCprocessorsshowstrongperformancevs.comparable3rdCenAMDEPYC

processors,Thesechartsshowcompositeupliftsforthe4thCenAMDEPYCprocessorsnormalizedtotheir3rdGenAMDEPYCcounterparts，

ThedetailedchartsinsidethisbriefhighlightthebenefitsofAMD3DV-Cachetechnologyforboth3rdand4thGenAMDEPYCprocessors.

CoMpoSsITERUNTIME,THROUGHPUT,5和Cu-页一才-2二

忆册L0-二二PERFORMANCE-PER-WATTUPLIFTS(320)[|二二二,二站古

明志-smurmp0-L2022d03-SP3-AIICores

家到

1.00x~1.02x1.00x

MDEPYCTAMDEPYC主

7373X9184X7573X4

(1x16cores)由(1x32cores){1x32cores)(1x64cores)后和EL

KEYTAKEAWAYS

Comparing1Pserverspoweredbyaselectionof4thGenAMDEPYCprocessorstotheir1P3rdGenAMDEPYC

counterpartsrevealsstronggenerationalRuntime,Throughput,andPerformance-per-Wattupliftsrunnins

SynopsysFormalityEquivalence.Furtherthe48-coreAMDEPYC9474FdemonstratesexcellentPerformance-per-

EE

chipletarchitecturemaintainsperformanceasthesystemisloaded，

4thGenAMDEPYCCPUswithAMD3DV-Cachetechnolosyareavailablein1Pand2Pconfigurationsandfeature;

ET汪汪让生生于二二.SupportforPCleeGen5atupto32G