Skip to main content
x

Imperas and Industry Articles

Sorting out what is meant by open-source verification is not easy, but it leaves the door open to new approaches

Semiconductor Engineering

 

Ask different people what open-source verification means and you will get a host of different answers. They range from the verification of open-source hardware, to providing an open-source verification infrastructure, to providing open-source stream generators or reference models, to open-source simulators and formal verification engines.
Verification is about reducing risk …
 …

It has been an unusual DAC this year, as the show went virtual due to the Covid-19 pandemic. There was no exhibition floor as such, but there was a comprehensive programme of keynote speeches, presentations, tutorials and panel discussions

Electronics Weekly

There was a lot of activity around RISC-V, including a presentation by Imperas Software (www.imperas.com) entitled ‘What’s Next for RISC-V? Vectors, Verification, and Value-added Extensions’. During the…

The July 2020 edition of Mentor Graphics', a Siemens Business, Verification Horizons article and Verification Academy presentation on RISC-V Processor DV are now available online

Verification Horizons

 

As SoC developers adopt RISC-V and the design freedoms that an Open ISA (Instruction Set Architecture) offers, DV teams will need to address the new verification challenges of RISC-V based SoCs. The established SoC verifications…

RISC-V drives new attention to this market, but the cost/benefit equation is different for open-source hardware than software

Semiconductor Engineering

 

Open-source hardware continues to gain ground, spearheaded by RISC-V — despite the fact that this processor technology is neither free nor simple to use.

Nevertheless, the open-source hardware movement has established a solid foothold after multiple prior forays that yielded only limited success, even for processors. With demand for more customized hardware, and a growing…

Recently Embedded Magazine published a very interesting article with some insights on extending a RISC-V processor with custom instructions

Embedded

The open instruction set architecture (ISA) of RISC-V permits broad flexibility in implementation and offers optional features that can enable fresh approaches to resolving hardware-software design tradeoffs. Based on a modular structure, a number of standard extensions and options can be used to configure the base processor as a starting point.…

Designers must carefully weigh the gains against the costs, many of which are not immediately obvious

Semiconductor Engineering

While the ability to extend a processor is nothing new, market dynamics are forcing a growing percentage of the industry to consider it a necessary part of their product innovation. From small IoT functions to massive data centers and artificial intelligence, the need to create an optimized processing platform is often the only way to get more performance or lower power out of the silicon…

Design Verification (DV) test planning using a trusted SoC methodology for RISC-V processor verification including custom extension

RISC-V Processor Design Verification (DV)

Given that RISC-V is an open instruction set architecture (ISA), a RISC-V processor designer has many implementation and configuration options, plus the freedom of extending the ISA with custom instructions and extensions. While fundamentally a processor is a hardware design with the main objective of correctly executing software, it makes sense that…

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…

Recently there was a very interesting article about how companies are interested in developing their own processors, following the success of RISC-V, but verification is a daunting challenge.

semiengineering.com

The introduction, and initial success, of the RISC-V processor ISA has reignited interest in the design of custom processors, but the industry is now grappling with how to verify them. The expertise and tools that were once in the market have been consolidated into the hands of the few companies that have been shipping processor chips or IP cores over the past 20 years.

Verification of a processor is…