Verification Resources

Sort by

Synopsys Suggests

Using Sequential Equivalence to Verify Clock-Gating Strategies

Nov 6, 2017 - Sequential equivalence checking can be used to show that a block of sequential logic produces the same output for the same inputs after it has been modified by optimization techniques...

Staging Virtual Prototype Bring-Up for Faster Software Development

Jun 7, 2017 - Virtual prototypes are simulation models of hardware written at a high enough level of abstraction that the software under development can be run and interactively debugged on the ...

Eight Tips for Performing Effective Unreachability Analysis

Apr 26, 2017 - One popular application of formal verification techniques is to automatically detect ‘dead’ code, a process known as unreachability analysis.

Accelerating the Development of Powertrain ECUs with Virtual Hardware

Apr 21 2017 - How virtual hardware can speed up many aspects of automotive system development, including architectural analysis, software development and verification.

The Art of Abstraction

Mar 9, 2017 - The key to successful abstraction in formal verification is to consider what functionality needs to be verified and at what level of detail, and then to abstract areas of the design ...

Are You Formally Connected?

Jan 18, 2017 - A large SoC has tens of thousands of connections between modules and pins. Checking that these connections have been made properly is an important step in the verification process. ...

Cars, Security, And HW-SW Co-Design – Part 3

Sep 13, 2016 - Experts at the table, part three: Hardware and software engineers are discovering the advantages of close collaboration, something that is critical in the automotive industry and ...

Power Options And Issues

Sep 8, 2016 - From initial concepts to final sign-off, power has become one of the most challenging design problems.

Cars, Security, And HW-SW Co-Design – Part 2

Aug 31, 2016 - Experts at the table, part two: Standards are helping address some issues in concurrently designing hardware and software. More challenges are ahead as automotive electronics and ...

Context Is Everything

Aug 29, 2016 - Knowing what’s around a chip determines success and failure of designs.