x

Revolutionizing Embedded Software Development

Imperas is now a part of Synopsys

Practical Processor Verification

When creating a new processor, how much verification is required? Setting the right ROI is important

Semiconductor Engineering

Custom processors are making a resurgence, spurred on by the early success of the RISC-V ISA and the ecosystem that is rapidly building around it. But this shift is amid questions about whether processor verification has become a lost art.
Years ago custom processors were common. But as the market consolidated around a handful of companies, so did the tools and expertise needed to develop those processors. As the pendulum swings back toward application-specific designs, the industry is struggling to fill the void …

To read the Semiconductor Engineering article by Brian Bailey, click here.

##

Related Resources

There are many Imperas documents available. Some of them are accessed only from the Imperas User site and are available only to Imperas customers under license.

On the OVPworld website there are many documents that introduce the various APIs and technologies developed by Imperas and made available as part of Open Virtual Platforms. Click here for the OVPworld documentation list.

Publicly available Imperas documents:

Using OVP Fast Processor Models with OVPsim and other simulators

Using OVP Fast Processor Models with OVPsim and other simulators

Using OVP Fast Processor Models with OVPsim and other simulators

Comments

  • Hermann Haslauer, Head of Embedded Software Support Engineering

    Palfinger Europe GmbH

    Palfinger is the global leader for innovative crane and lifting solutions.

    As our embedded development teams develop and implement our roadmap for digitalization and artificial intelligence, the need for software quality testing has never been greater. The TESSY tool together with the Imperas virtual platform simulators and OVP models of Arm processors, are a quality combination that we use as a foundation of our software test and maintenance process.

  • Jean-Michel Fernandez, ESL Product Line Director

    Magillem

    The wide support of OVP fast processor core models, together with Imperas tools for software analysis, perfectly complements the Magillem Executable Specification (X-Spec) solution. The tight integration of Imperas technology with Magillem X-Spec will help our customers to seamlessly execute their embedded Software on their Hardware specification.