Breker Verification Systems Unveils System Coherency Synthesis TrekApp Building on Its Successful Cache Coherency Test Solution
System Coherency Synthesis TrekApp Generates High Coverage Tests to Stress Coherency, Detect Corner Cases for Range of SoC Platforms, Processors
SAN JOSE, CALIF. –– December 6, 2021 –– Breker Verification Systems today unveiled its System Coherency Synthesis TrekApp used to generate thousands of high-coverage tests to stress cross-system coherency for a broad range of SoC platforms and processors.
Based on Breker’s Cache Coherency TrekApp, the System Coherency Synthesis TrekApp uses abstract models of common and novel algorithms to automatically generate coherency test content for complex, multi-agent system platforms based on coverage directives. The TrekApp can be configured for Arm, RISC-V and other processor configurations and broad range of storage and I/O architectures.
“System coherency is an increasingly complex and error-prone challenge for many SoC platforms that requires considerable expertise and effort to accomplish,” says Adnan Hamid Breker’s executive president and CTO. “Our Test Suite Synthesis technology produces dramatic improvements in test composition time and coverage over manual tests and basic test generators including templating schemes.”
Breker, the leading provider of advanced test content synthesis solutions for SoC, UVM and Post-Silicon verification environments, will demonstrate its System Coherency Synthesis TrekApp and other solutions at Design Automation Conference (DAC) in Booth #2528. DAC will be held Monday, December 6, through Wednesday, December 8, from 10 a.m. until 6 p.m. at Moscone West in San Francisco.
Introducing the System Coherency Synthesis TrekApp
The increase in SoC complexity and diverse processor architectures makes coherency a challenge that cannot be ignored in semiconductor development projects. Breker’s next-generation TrekApp uses its Test Suite Synthesis technology to address coherency across the entire system to include fabric and I/O issues as well as advanced memory architectures more effectively than zero abstraction templating and similar schemes.
The TrekApp leverages established methods such as the Dekker algorithm, the Moesi state protocol for system-wide testing, stride testing, false sharing analysis and other exclusive test mechanisms.
Coupled with a range of processor integration tests for Arm v8/v9 and the RISC-V Instruction Set Architecture (ISA) the TrekApp generates comprehensive test content for most SoCs in development today. Specialized custom instructions or even complete instruction sets can be included, and alternative test algorithms can be inserted, crossing test content output results for high verification coverage.
The System Coherency TrekApp generates C code and transactions for system-level testbenches or UVM sequences for cache unit and sub-system simulation. It operates on virtual prototype platforms, simulation, emulation, FPGA prototyping or final silicon, and enables the full debug and profiling of the device under test on those platforms.
The System Coherency Synthesis TrekApp is a component of the Breker TrekApp solution library that provides automated test content for a variety of SoC scenarios, including cache coherency, Arm and RISC-V integration, power domain management, security and network traffic generation. TrekApps operate on the Breker Test Suite Synthesis Solution and Synthesizable VerificationOS for automated, coverage-driven test generation for a variety of multi-threaded platforms from a single, easy-to-understand specification model.
Availability and Pricing
System Coherency Synthesis TrekApp is available and in use on multiple development projects.
Pricing is available upon request.
About Breker Verification Systems
Breker Verification Systems is a leading provider of Portable Stimulus solutions, a standard means to specify verification intent and behaviors reusable across target platforms. It is the first company to introduce graph-based verification and the synthesis of powerful test sets from intent-based, abstract scenario models based on AI planning algorithms. Breker’s Test Suite Synthesis and TrekApp library allows the automated generation of high-coverage, powerful test cases for deployment into a variety of UVM, SoC and Post-Silicon verification environments. Case studies that feature Altera (now Intel), Analog Devices, Broadcom, IBM, Huawei and other companies leveraging Breker’s solutions are available on the Breker website. Breker is privately held and works with leading semiconductor companies worldwide.
|
Related News
- Breker Verification Systems Launches Unique RISC-V TrekApp for Automated, High-Coverage System Integration Test Suite Synthesis
- NucleiSys Adopts Breker's System Coherency TrekApp
- Breker Verification Systems Joins RISC-V International as a Strategic Member to Drive Cache Coherency and SoC Integration Verification Methodologies
- Breker Verification Systems Unveils Easy-To-Adopt Integrity FASTApps Targeting RISC-V Processor Core, SoC Verification Scenarios
- Synopsys Unveils Industry's First Unified Emulation and Prototyping System Addressing Verification Requirements Across the Chip Development Cycle
Breaking News
- Logic Design Solutions launches Gen4 NVMe host IP
- ULYSS1, Microcontroller (MCU) for Automotive market, designed by Cortus is available
- M31 is partnering with Taiwan Cooperative Bank to launch an Employee Stock Ownership Trust to strengthen talent retention
- Sondrel announces CEO transition to lead next phase of growth
- JEDEC Publishes LPDDR5 CAMM2 Connector Performance Standard
Most Popular
- Arm's power play will backfire
- Alphawave Semi Selected for AI Innovation Research Grant from UK Government's Advanced Research + Invention Agency
- Secure-IC obtains the first worldwide CAVP Certification of Post-Quantum Cryptography algorithms, tested by SERMA Safety & Security
- Weebit Nano continuing to make progress with potential customers and qualifying its technology Moving closer to finalisation of licensing agreements Q1 FY25 Quarterly Activities Report
- PUFsecurity Collaborate with Arm on PSA Certified RoT Component Level 3 Certification for its Crypto Coprocessor to Provide Robust Security Subsystem Essential for the AIoT era
E-mail This Article | Printer-Friendly Page |