Verification Resources

Sort by

Synopsys Suggests

Who Pays for EDA Shift Left?

Feb 12, 2015 - The industry is changing and more information is flying around at an ever-faster pace. It is intended to reduce costs for semiconductor companies, but who is footing the bill?

With Responsibility Comes Power

Feb 12, 2015 - Who is responsible for ensuring a chip is within its power budget and are they being given the tools to do the job?

Formal Fundamentals: What’s Hiding Behind Your Constraints

Jul 17, 2018 - The reason we need constraints or assumptions in the first place is to limit the behavior/functionality that the formal tool analyzes to the design’s “legal” states/subset. We don’t ...

Thought you had verified your SoC? You probably only did half...

Jan 5, 2016 - Why do I say this? The major objective of SoC functional verification is to ensure that the design is performing its intended function correctly. This is usually done in simulation by...

FPGA-based prototyping 2: Understand the real cost

Sep 28, 2015 - Part two of our series on FPGA-based prototyping looks at two critical factors to address before a project begins: budgeting and high-level implementation.

Using end-to-end prototyping to reduce the impact of rising software content ...

Jan 20, 2016 - A look at using end-to-end prototyping to ease architecture development, hardware/software integration, and system validation in SoC designs.

Reachable or reached, covered or coverable – is it just semantics?

Jan 19, 2016 - RTL code coverage is used to measure the progress of SoC functional verification for simulation, formal property verification (FPV) and other formal techniques, but have you ever ...

Rohde & Schwarz LTE Forum Recap

See the highlights from the LTE showing who attended and what the hot topics were for the LTE community. (Length: 5 mins)

Featured Algorithm Video: Introduction to SPW and the LTE/LTE-A Library

This video provides an insight into the overall structure of the LTE / LTE-A Library, its appearance within the SPW block-diagram based design canvas and its modular structure which allows easy ...

SpyGlass CDC/RDC Update - Japanese

Aug 30, 2016 - Learn about SpyGlass CDC and RDC updates including introduction of new key feature "Smart Netlist Verification".