Verification Resources

Sort by

Synopsys Suggests

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.

FPGA Prototyping Gains Ground

Aug 25, 2016 - The popular design methodology enables more sophisticated hardware/software verification before first silicon becomes available.

Did My FPGA Just Fail?

Aug 22, 2016 - Designing DRAMs at Intel back in the 1970s I first learned about Soft Errors and the curious effect of higher failure rates of DRAM chips in Denver, Colorado with a higher altitude ...

More on HAPS hybrid prototyping for ARMv8 with Linaro

Aug 19, 2016 - A few weeks ago we previewed a Synopsys webinar describing how they are linking the ARM Juno Development Platform with the HAPS-80 and HAPS ProtoCompiler environment. I’ve had a look...