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.
Related Semiconductor IP
- 64 bit RISC-V Multicore Processor with 2048-bit VLEN and AMM
- RISC-V AI Acceleration Platform - Scalable, standards-aligned soft chiplet IP
- 32 bit RISC-V Multicore Processor with 256-bit VLEN and AMM
- All-In-One RISC-V NPU
- ISO26262 ASIL-B/D Compliant 32-bit RISC-V Core
Related News
- MIPS selects Imperas Reference Models for RISC-V Processor Verification
- Imperas releases new RISC-V verification product that changes the fabric of processor DV
- Imperas unifies new RISC-V verification ecosystem with RVVI
- NSITEXE Selects ImperasDV for Automotive Quality RISC-V Processor Functional Design Verification
Latest News
- CAST Releases First Dual LZ4 and Snappy Lossless Data Compression IP Core
- Arteris Wins “AI Engineering Innovation Award” at the 2025 AI Breakthrough Awards
- SEMI Forecasts 69% Growth in Advanced Chipmaking Capacity Through 2028 Due to AI
- eMemory’s NeoFuse OTP Qualifies on TSMC’s N3P Process, Enabling Secure Memory for Advanced AI and HPC Chips
- AIREV and Tenstorrent Unite to Launch Advanced Agentic AI Stack