Sign in to confirm you’re not a bot
This helps protect our community. Learn more

Faster Verification Closure from IP to SoC Using the Verification Continuum Platform | Synopsys

Synopsys
30.7K subscribers
<__slot-el>
<__slot-el>
1.6K views 3 years ago
This on-demand webinar explores how Synopsys’ end-to-end verification strategy scales from IP-level functional verification to full system-level validation and performance analysis using Synopsys verification engines and UFS verification IP. Learn more: https://www.synopsys.com/UFS-wp Learn more about Synopsys: https://www.synopsys.com/ Subscribe:    / synopsys   Follow Synopsys on Twitter:   / synopsys   Like Synopsys on Facebook:   / synopsys   Follow Synopsys on LinkedIn:   / synopsys   ...more
...more
These chapters are auto-generated

Intro

0:00

Presenters

0:16

Protocol Verification Drivers

2:58

Cost and Time-to-Market Pressure

15:50

Synopsys Verification Continuum Platform

18:00

Addressing Protocol Verification Challenges

21:13

Synopsys Protocol Continuum Scaling from Simulation to Emulation Simulation Simulation Acceleration

28:50

UFS Device Verification Requirements Customer problem statement To develop UFS Device P for integration with the automotive Soc

31:13

UFS Device Verification Setup

32:32

Pure simulation Design under test (DUT)

33:50

UFS RTL on Pure-simulation Design under test (OUT) - UFS Application Layer RTL

36:23

Subsystem Acceleration Design under test (OUT) - Subsystem components Verification Components

38:14

Emulation Design under test (DUT) - UFS Subsystem (UFS Device + UniPro + M.PHY)

42:08

System validation and software development Design under test (DUT) - UFS Subsystem (UFS Device + UniPro + M.PHY)

44:37

Conclusion

47:58
Faster Verification Closure from IP to SoC Using the Verification Continuum Platform | Synopsys
8Likes
1,602Views
2021Jul 20
This on-demand webinar explores how Synopsys’ end-to-end verification strategy scales from IP-level functional verification to full system-level validation and performance analysis using Synopsys verification engines and UFS verification IP. Learn more: https://www.synopsys.com/UFS-wp Learn more about Synopsys: https://www.synopsys.com/ Subscribe:    / synopsys   Follow Synopsys on Twitter:   / synopsys   Like Synopsys on Facebook:   / synopsys   Follow Synopsys on LinkedIn:   / synopsys  

Follow along using the transcript.

Synopsys

30.7K subscribers

Verification

Synopsys
41 / 187
1

Requirements-Based Testing with TPT, Silver and Codebeamer | Synopsys

Synopsys
2

Zebu-200 & HAPS-200: Hardware-Assisted Verification Solutions for Emulation & Prototyping | Synopsys

Synopsys
3

Simulink Testing with TPT | Synopsys

Synopsys
4

TPT 2024.12 | Synopsys

Synopsys
5

RISC-V Design Innovations with Custom Extensions | Synopsys

Synopsys
6

DVCon 2022 Tutorial - 5 levels of RISC-V Processor Verification with ImperasDV | Synopsys

Synopsys
7

DVCon 2022: Synopsys and RISC-V Verification | Synopsys

Synopsys
8

Rebellions Discusses AI-chip Emulation using ZeBu | Synopsys

Synopsys
9

Synopsys Interview at embedded world 2024

RISC-V International
10

ImperasFPM Fast Processor Models - Jon Taylor, Synopsys

RISC-V International
11

Synopsys ARC-V™ Processor Family - Gordon Cooper, Synopsys

RISC-V International
12

HAPS high-performance RISC-V prototyping with asynchronous clocks | Synopsys

Synopsys
13

Synplify Synthesis Log File Tutorial | Synopsys

Synopsys
14

Synplify Project Flow Tutorial | Synopsys

Synopsys
15

A Scalable Approach to 2X Faster TAT for Arm Neoverse N2 Core Design Verification | Synopsys

Synopsys
16

Achieve 2X Performance When Verifying Multi-Die Systems in Synopsys VCS | Synopsys

Synopsys
17

Improve Your Software Team Productivity and Efficiency with Fast Virtual Prototypes | Synopsys

Synopsys
18

Faster Heterogeneous Integration with Synopsys Multi-Die System Solution | Synopsys

Synopsys
19

Learn About VC Formal Apps: Sequential Equivalence Checking (SEQ) | Synopsys

Synopsys
20

Learn About VC Formal Apps: Formal Register Verification (FRV) | Synopsys

Synopsys
21

Learn About VC Formal Apps: Automated Extracted Properties (AEP) | Synopsys

Synopsys
22

Discussing Formal Deployment, Architectural Verification, and Building a Formal Team | Synopsys

Synopsys
23

Multi Die Integration

Semiconductor Engineering
24

Lightelligence Accelerates the Architecture Design of their Next Generation Systems | Synopsys

Synopsys
25

Supporting & Growing Formal Verification Consulting Services | Synopsys

Synopsys
26

Leveraging Templates for Faster Code Development with Synopsys Euclide | Synopsys

Synopsys
27

Accelerating Validation of Next-Generation Cloud Architectures with Virtual Testing | Synopsys

Synopsys
28

Xiaolin Chen Speaks about Her Formal Journey | Synopsys

Synopsys
29

Leading Formal Innovations with Synopsys VC Formal 22.06 Release | Synopsys

Synopsys
30

HECTOR and VC Formal DPV, Past, Present, and Future | Synopsys

Synopsys
31

Extending the Saber Model Library with Analog Devices Components | Synopsys

Synopsys
32

Virtual Hardware “In-the-Loop” (vHIL) with the R-CAR Virtual Prototype and Simulink | Synopsys

Synopsys
33

Helicopters to Venus – Build and Debug Highly Reliable FPGA-based Designs | Synopsys

Synopsys
34

All You Need to Know about CXL Bring-up, Discovery and Traffic Exchange | Synopsys

Synopsys
35

Insight into the Analysis and Tracing capabilities of Virtualizer Studio - VDK Debug | Synopsys

Synopsys
36

Insight into the Embedded Software Debugger Flow using Virtualizer Studio - VDK Debug | Synopsys

Synopsys
37

Insight into the Virtualizer Studio – VDK Debug Perspective GUI | Synopsys

Synopsys
38

Accelerating Validation of Next-Generation Cloud Architectures with Virtual Testing | Synopsys

Synopsys
39

Addressing Exascale Emulation Debug Complexity – The Case for a System-Level Approach | Synopsys

Synopsys
40

Addressing the Challenges of Networking SoC Validation using Virtual Network Testers | Synopsys

Synopsys
▶

Faster Verification Closure from IP to SoC Using the Verification Continuum Platform | Synopsys

Synopsys
42

Faster Software Development using Hybrid Prototyping over PCIe Real World Interface | Synopsys

Synopsys
43

Synopsys Custom Design Family | Synopsys

Synopsys
44

Coding Testbench & RTL Using Synopsys Euclide | Synopsys

Synopsys
45

Better RTL and Testbench Code with Synopsys Euclide | Synopsys

Synopsys
46

Smart Everything: Powered by Silicon and Software | Synopsys

Synopsys
47

SaberRD Training 10: Model Characterization with the Power MOSFET Tool | Synopsys

Synopsys
48

Accelerate EV Electronic System Development with Virtual Prototyping | Synopsys

Synopsys
49

SaberRD Training 3: Operating Point and Small Signal Frequency Analysis | Synopsys

Synopsys
50

Software Development with Silver Virtual ECU | Synopsys

Synopsys
51

Synopsys VCS: Diving into the Warning SIOB (Select Index Out of Bounds) | Synopsys

Synopsys
52

Verification Challenges on the Cloud – The Data Storage Layer | Synopsys

Synopsys
53

Verification Challenges on the Cloud – The Compute Layer | Synopsys

Synopsys
54

IC Validator: Where to Find Documentation | Synopsys

Synopsys
55

IC Validator: Overview of the text_options() Function | Synopsys

Synopsys
56

IC Validator: Overview of the text_net() Function | Synopsys

Synopsys
57

IC Validator: Overview of the hierarchy_options() Function | Synopsys

Synopsys
58

IC Validator: Overview of the error_options() Function | Synopsys

Synopsys
59

IC Validator: Overview of the run_options() Function | Synopsys

Synopsys
60

Learn how to generate layout errors files from the PYDB Database | Synopsys

Synopsys
61

Learn how to generate an ASCII format error file from the PYDB database | Synopsys

Synopsys
62

Learn how to create and use waivers using PYDB | Synopsys

Synopsys
63

Learn how to create and use waivers using the VUE tool | Synopsys

Synopsys
64

Learn how to add host to a job already running | Synopsys

Synopsys
65

Learn how to run tool on multiple CPUs | Synopsys

Synopsys
66

Learn how to create a pattern library using the Pattern Library Manager | Synopsys

Synopsys
67

Learn how to perform Pattern matching in the tool | Synopsys

Synopsys
68

Learn how to create a pattern library | Synopsys

Synopsys
69

Learn how to run Signoff DRC in IC Compiler II tool | Synopsys

Synopsys
70

See how to debug results in IC Compiler II using the VUE tool | Synopsys

Synopsys
71

Learn how to load a replay file in VUE | Synopsys

Synopsys
72

Learn how to use the Connect Debugger utility from the VUE tool | Synopsys

Synopsys
73

Learn how to use the Error Heat Map to debug DRC errors | Synopsys

Synopsys
74

Learn how to connect VUE with IC WorkBench EV Plus, IC Compiler II | Synopsys

Synopsys
75

Learn how to fix GNFerror during LVS run | Synopsys

Synopsys
76

Learn about  output files available after an LVS run | Synopsys

Synopsys
77

Learn how to use the Short Finder function to debug text and compare shorts | Synopsys

Synopsys
78

Learn how to use the net trace utility to debug LVS results | Synopsys

Synopsys
79

Learn how Explorer detects design rules such as width, spnd iacing, anteracting checks | Synopsys

Synopsys
80

Learn how to exit a job with partial results | Synopsys

Synopsys
81

Learn how to check runset syntax and generate a partially compiled runset | Synopsys

Synopsys
82

Learn how to execute a run-only job | Synopsys

Synopsys
83

Accelerating Wiring Design using Harness Architecture in SaberES Designer | Synopsys

Synopsys
84

Monitoring for Errors | Synopsys

Synopsys
85

Safe-Guarding I/O’s | Synopsys

Synopsys
86

Summary | Synopsys

Synopsys
87

Safe-Guarding FSM’s | Synopsys

Synopsys
88

Bug Elimination: Summary | Synopsys

Synopsys
89

Virtualizer Development Kits (VDKs) Demo – DesignWare MobileStorage | Synopsys

Synopsys
90

Protocol Aware Debug Using Verdi | Synopsys

Synopsys
91

Synopsys PowerReplay Solution - Introduction and Demo | Synopsys

Synopsys
92

Stay Ahead of the Automotive Curve with Virtual Hardware ECUs | Synopsys

Synopsys
93

Using HAPS FPGA-based Prototyping to Verify DesignWare USB Type-C IP Functionality

Synopsys
94

PCIe: Accelerating Verification | Synopsys

Synopsys
95

Execution Profiling | Synopsys

Synopsys
96

Debugger Window Organization | Synopsys

Synopsys
97

Viewing Local and Global Variables and the Call Stack | Synopsys

Synopsys
98

Demonstration of the Synopsys Verification IP and Controller IP Core for PCIe 5.0 | Synopsys

Synopsys
99

Starting and Configuring the Debugger | Synopsys

Synopsys
100

Using Source and Disassembly Windows | Synopsys

Synopsys
101

Multicore Debugging | Synopsys

Synopsys
102

Using Breakpoints and Watchpoints | Synopsys

Synopsys
103

Casual is the New Formal – Formal Properties (Part 4) | Synopsys

Synopsys
104

Casual is the New Formal – Formal Constraints (Part 3) | Synopsys

Synopsys
105

HAPS-70 System for Debug Automation | Synopsys

Synopsys
106

Casual is the New Formal – Common Formal Results and Next Steps (Part 5)

Synopsys
107

How Good is Your Next Android SoC? Predict Performance and Power Using Task Graphs | Synopsys

Synopsys
108

Saber 2012.12 Release News | Synopsys

Synopsys
109

HAPS-DX | Synopsys

Synopsys
110

Accelerating Memory Debug | Synopsys

Synopsys
111

Safe-Guarding Memories | Synopsys

Synopsys
112

Driver Bring-up for DesignWare Multimedia (MMC) Host Controller using a Virtualizer Development Kit

Synopsys
113

Optimizing Your Mixed Signal Verification Environment Using CustomExplorer Ultra -- Part 2

Synopsys
114

Overcoming the Protocol Debug Challenge | Synopsys

Synopsys
115

Build an AMBA-based sub-system utilizing Synopsys solutions | Synopsys

Synopsys
116

Virtualizer Development Kits (VDK) USB Real- and Virtual- IO | Synopsys

Synopsys
117

Prototyping Imagination’s PowerVR Series 6XT dual-cluster 64-core GPU with HAPS | Synopsys

Synopsys
118

Casual is the New Formal – Formal Verification Design Setup (Part 2) | Synopsys

Synopsys
119

Addressing Complex SoCs with Advanced Verification Solutions | Synopsys

Synopsys
120

How To Integrate uvm_reg with AXI VIP | Synopsys

Synopsys
121

Prototype Timing Closure with Synopsys HAPS-80 | Synopsys

Synopsys
122

Speed IP Bring-up and SoC Validation with HAPS-DX | Synopsys

Synopsys
123

SaberRD Training 8: Modeling with Table Look-Up | Synopsys

Synopsys
124

Safe Unpacking and Packing of Synopsys HAPS Prototyping Systems | Synopsys

Synopsys
125

How and Where to “Design in” Functional Safety | Synopsys

Synopsys
126

Automotive Powernet Simulation & Fault Analysis Demo in SaberRD | Synopsys

Synopsys
127

Announcing ProtoCompiler for Multi-FPGA Prototyping | Synopsys

Synopsys
128

Functional Timing Accuracy with ESP Device Model | Synopsys

Synopsys
129

Casual is the New Formal - Introduction to Formal Verification and Planning (Part 1) | Synopsys

Synopsys
130

SaberRD Training 4: Test Automation | Synopsys

Synopsys
131

SaberRD Training 6: Introduction to Modeling | Synopsys

Synopsys
132

Debugging a USB 3 Linux Driver using Lauterbach TRACE32 and Synopsys VDK for ARM Cortex | Synopsys

Synopsys
133

Boost LED Driver Design for Automotive DRL Application Using SaberRD | Synopsys

Synopsys
134

Verifying and Debugging Storage Protocols: SATA | Synopsys

Synopsys
135

Introduction to ESP for Custom Design Formal Verification | Synopsys

Synopsys
136

Verdi OneSearch | Synopsys

Synopsys
137

Finding Root Cause of Unknowns in Batch | Synopsys

Synopsys
138

Cool Things You Can Do with Verdi – Verification Planning (Advanced)

Synopsys
139

Cool Things You Can Do with Verdi – Advanced Coverage Analysis Part I | Synopsys

Synopsys
140

SaberRD Training 1: Time Domain Analysis | Synopsys

Synopsys
141

Cool Things You Can Do with Verdi – Verification Planning (Introduction) | Synopsys

Synopsys
142

UPF Supply Sets Video Series – Part 1: Supply Set Handles | Synopsys

Synopsys
143

SaberRD Training 2: Schematic Capture and Parts Library | Synopsys

Synopsys
144

Automotive Powernet Modeling & Simulation using SaberRD | Synopsys

Synopsys
145

Cool Things You Can Do with Verdi – Advanced Coverage Analysis Part II | Synopsys

Synopsys
146

Advanced Interactive Debug with Verdi – Reverse Debug | Synopsys

Synopsys
147

AMS Co-simulation Debug with Verdi | Synopsys

Synopsys
148

Introduction to Saber: Power Conversion Demonstration | Synopsys

Synopsys
149

Cool Things You Can Do with Verdi - Introduction | Synopsys

Synopsys
150

Static Code Analysis: Scan All Your Code For Bugs | Synopsys

Synopsys
151

Unleashing SystemVerilog and UVM: Introduction | Synopsys

Synopsys
152

UVM-1: UVM Basics | Synopsys

Synopsys
153

SV-1: Object-oriented Programming for Designers | Synopsys

Synopsys
154

UVM-2: UVM Factory | Synopsys

Synopsys
155

Data Preparation for Verdi | Synopsys

Synopsys
156

FSDB Dumping | Synopsys

Synopsys
157

SV-2: The Power of Randomization | Synopsys

Synopsys
158

Interactive Debug with Verdi | Synopsys

Synopsys
159

SaberRD Quick Start Introduction (English) | Synopsys

Synopsys
160

Finding the Root Cause of a Wrong Value | Synopsys

Synopsys
161

Using nCompare to Compare Waveforms in Two FSDB Files | Synopsys

Synopsys
162

A Quick Tour of Verdi Coverage | Synopsys

Synopsys
163

Focus on Active Source Code with Verdi Source Code Viewer | Synopsys

Synopsys
164

Incrementally Trace in Schematic View | Synopsys

Synopsys
165

UVM-3: UVM Reporter | Synopsys

Synopsys
166

SV-3: The Power of Inheritance | Synopsys

Synopsys
167

Certainty in an Uncertain World: Building Functional Safety into FPGA Designs | Synopsys

Synopsys
168

Debugging Complex PCIe Issues using Synopsys VIP and Verdi Transaction Debug | Synopsys

Synopsys
169

The Evolution of Real Number Modeling | Synopsys

Synopsys
170

Synopsys PCIe Test Suites Demo | Synopsys

Synopsys
171

Advantages of Source-code SystemVerilog Protocol Compliance Test Suites | Synopsys

Synopsys
172

PCIe: Monitors and Test Suites | Synopsys

Synopsys
173

Why Synopsys selected a SystemVerilog VIP Architecture | Synopsys

Synopsys
174

Spec-based Coverage Closure with Synopsys VIP | Synopsys

Synopsys
175

Key Advantages of Synopsys Memory VIP Architecture | Synopsys

Synopsys
176

How to Integrate AXI VIP into a UVM Testbench | Synopsys

Synopsys
177

How to Use the AXI VIP Debug Port | Synopsys

Synopsys
178

Programming AXI-ACE VIP to Generate Error Scenarios | Synopsys

Synopsys
179

PCIe VIP: Accelerating Debug | Synopsys

Synopsys
180

Configuring Memory VIPs | Synopsys

Synopsys
181

Synopsys VIP Performance | Synopsys

Synopsys
182

Increase Productivity with Synopsys Memory VIP | Synopsys

Synopsys
183

Introducing Synopsys VIP for PCIe Gen4 | Synopsys

Synopsys
184

PCIe Gen4 - VIP/IP Solution with Protocol-Aware Debug and Source Code Test Suites | Synopsys

Synopsys
185

Demonstration of USB 3.0 SSIC Compliance Testing with MIPI M-PHY | Synopsys

Synopsys
186

Namespaces, Build Order, and Chickens | Synopsys

Synopsys
187

Customizing UVM Messages Without Getting a Sunburn | Synopsys

Synopsys