Verification Resources

Sort by

Synopsys Suggests

Q&A: Using FPGA Prototypes for Software Development

Feb 24, 2016 - Technology Editor Bill Wong talks with Tom De Schutter, Director of Product Marketing and Physical Prototyping for Synopsys, about using FPGA-based prototypes for software development.

Debugging is the whole point of prototyping

Apr 15, 2016 - The prototype is obviously the end goal of FPGA-based prototyping, however success of the journey relies on how quickly defects can be found and rectified. Winning in the debug phase...

Powerful New Standard

Feb 11, 2016 - A new version of IEEE 1801 enables complete power-aware flows to be constructed using a meet-in-the-middle concept. What will it mean to you and what new parts of the flow will it ...

Why Power Modeling is So Difficult

Feb 15, 2016 - Demand is increasing for consistency in power modeling, but it has taken far longer than anyone would have guessed.

Beyond Debug - FPGAs for Fun and Prototyping

Nov 20, 2015 - In this week’s episode of Fish Fry we’re letting loose some LUTs, bringing up the bitstream, and cramming in some configuration with Mick Posner from Synopsys. Mick joins Fish Fry to...

Verification Engineers Embrace Emulation for the Shift Left

Jul 27, 2018 - At a panel session at DAC, Synopsys customers talked about some of the ways they make verification more efficient and bring technologies such as formal, emulation, and simulation ...

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 ...

Scaling automated software testing with Virtualizer Development Kits

Apr 14, 2016 - The growing code content of embedded systems is making it increasingly important to do as much software testing as possible, as soon as possible, in order to deliver a high-quality ...

Verifying Clock Domain Crossings in UPF-based Low-power SoCs

Dec 3, 2018 - This article discusses the verification challenges of using low-power design techniques to enable advanced power-management strategies in complex SoCs.

SaberRD: Ingeteam Interview by Powersys

Sep 11, 2018 - Powersys had the chance to interview Alain Sanchez, IMD-Industrial & Marine Drives, Product Technician at Ingeteam. In this interview, Alain discusses the benefits of using SaberRD ...