industry news
Subscribe Now

Imperas Expands Partnership with Valtrix to Address Growing RISC-V Verification Market

Imperas simulation technology and RISC-V reference models now available pre-integrated within Valtrix STING for advanced RISC-V Processor Verification

Oxford, United Kingdom, June 30th, 2021 — Imperas Software Ltd., the leader in RISC-V processor verification technology, today announced a multi-year distribution and support agreement with Valtrix Systems, provider of design verification products for building functionally correct CPU and system-on-chip implementations, to address the rapidly expanding worldwide market for RISC-V processor verification. RISC-V verification has 3 main components: 1) a design to test, 2) a reference model for comparison, and 3) tests to fully exercise the design. A verification plan details the objectives in terms of coverage metrics and requirements including asynchronous events, debug modes, and the analysis-to-resolution process.

A key advantage of the Valtrix STING verification environment and test generator is the ease of use, including user controls for every test parameter, enabling every test condition to be mapped to a particular test configuration for the Device Under Test (DUT). Since a processor is by definition a complex state machine with multi-modes, dynamic testing has proven to be the most trusted option for targeted test suites and the interactions with asynchronous events. The key task for DV teams is to analyze bugs and then adapt the test case scenarios to fully explore the related state-space for additional issues.

The adoption of RISC-V by SoC developers is being driven in part by the flexibility that allows domain-specific features that can be fine-tuned to address the key application requirements. This adoption momentum on the design side is now driving SoC teams to adapt their verification and test plans to also cover the full processor DV tasks. This is causing a dramatic shift in the specialist processor verification tasks from a few mainstream IP providers to all SoC teams. This growth is also driving the efficiency goals to improve the DV analysis and resolution process to align the processor core schedule with the schedules of the target SoC design. On average the verification of a processor core is an order of magnitude more complex than the rest of the SoC that surrounds it. This momentum is driving the requirement for more efficient RISC-V verification solutions worldwide.

“The flexibility of RISC-V helps us address domain-specific requirements with custom processors that go beyond the roadmap of the mainstream IP providers,” said Richard Bohn, Engineering Director at Seagate Technology, the world’s leading manufacturer of hard drives. “Designing a high-performance RISC-V processor that achieved up to 3x the performance in critical workloads was no small feat. We needed to balance the features and options with the verification implications. The combined solution of Imperas golden reference models and Valtrix STING has helped us to achieve our verification and schedule goals.”

“Ideally any test should provide a clear pass or fail indication. In the case of RISC-V processor DV this is achieved with a comparison against a quality reference model,” said Shubhodeep Roy Choudhury, Managing Director & Co-founder, Valtrix. “STING helps generate portable, architecturally correct and self-checking tests targeted at the corner-case scenarios by automating the comparison of the DUT against the Imperas reference model results.”

“As SoC verification teams adapt to the complexities of DV for a RISC-V processor, we see a growing demand for efficiency as teams scale resources over multiple overlapping projects, continuous integration, and regression testing,” said Simon Davidmann, CEO at Imperas Software Ltd. “Having successfully worked with Valtrix in supporting many mutual customers projects, this partnership now offers a frictionless path for STING users to our simulation technology and RISC-V reference models.”

Availability
Valtrix STING is available now with the pre-integrated Imperas RISC-V reference model. The combined solution covers the full RISC-V specification for user, privilege, and debug modes, including all ratified standard extensions, and the near ratified (stable) specifications for Bit Manipulation, Crypto (Scala), DSP, Hypervisor, and Vectors. STING plus Imperas is also upgradable to add support for custom instructions and extensions.

Lead customers are already engaged with designs featuring multithreading, multi-hart, and other complex microarchitectural features.

About Valtrix’s STING Design Verification Tool
STING, the flagship product of Valtrix, is a design verification platform for RISC-V based implementations. It can be configured to generate portable bare-metal programs containing self-checking architecturally-correct test stimulus, which can then be enabled on simulation, FPGA prototypes, emulation, or silicon. STING also provides a RISC-V architecture verification suite to provide users an easy ramp into verification readiness. https://www.valtrix.in/sting/

About Imperas
Imperas is the leading provider of RISC-V processor models, hardware design verification solutions, and virtual prototypes for software simulation. Imperas, along with Open Virtual Platforms (OVP), promotes open source model availability for a spectrum of processors, IP vendors, CPU architectures, system IP and reference platform models of processors and systems ranging from simple single core bare metal platforms to full heterogeneous multi-core systems booting SMP Linux. All models are available from Imperas at www.imperas.com and the Open Virtual Platforms (OVP) website.
For more information about Imperas, please see www.imperas.com. Follow Imperas on LinkedIntwitter @ImperasSoftware and YouTube.

Leave a Reply

featured blogs
Mar 28, 2024
'Move fast and break things,' a motto coined by Mark Zuckerberg, captures the ethos of Silicon Valley where creative disruption remakes the world through the invention of new technologies. From social media to autonomous cars, to generative AI, the disruptions have reverberat...
Mar 26, 2024
Learn how GPU acceleration impacts digital chip design implementation, expanding beyond chip simulation to fulfill compute demands of the RTL-to-GDSII process.The post Can GPUs Accelerate Digital Design Implementation? appeared first on Chip Design....
Mar 21, 2024
The awesome thing about these machines is that you are limited only by your imagination, and I've got a GREAT imagination....

featured video

We are Altera. We are for the innovators.

Sponsored by Intel

Today we embark on an exciting journey as we transition to Altera, an Intel Company. In a world of endless opportunities and challenges, we are here to provide the flexibility needed by our ecosystem of customers and partners to pioneer and accelerate innovation. As we leap into the future, we are committed to providing easy-to-design and deploy leadership programmable solutions to innovators to unlock extraordinary possibilities for everyone on the planet.

To learn more about Altera visit: http://intel.com/altera

featured chalk talk

Dependable Power Distribution: Supporting Fail Operational and Highly Available Systems
Sponsored by Infineon
Megatrends in automotive designs have heavily influenced the requirements needed for vehicle architectures and power distribution systems. In this episode of Chalk Talk, Amelia Dalton and Robert Pizuti from Infineon investigate the trends and new use cases required for dependable power systems and how Infineon is advancing innovation in automotive designs with their EiceDRIVER and PROFET devices.
Dec 7, 2023
14,397 views