Why Scalable Verification Matters for AURIX™ TC4x PPU Development

For vector-accelerated embedded software, performance is only one part of the problem.

In a previously published success story with TASKING around the AURIX™ TC4x PPU, the more demanding question was how to keep generated functions reliable as implementation variants increase.

Different data sizes, vector-width configurations, simulation environments and on-target execution paths all introduce conditions that need to be checked consistently. Without a scalable verification workflow, optimized vector code becomes difficult to extend, validate and maintain.

The Challenge: Variants Increase Quickly

The AURIX™ TC4x Parallel Processing Unit enables vector-accelerated computation for data-intensive embedded workloads.

In this project, the goal was to generate efficient PPU-optimized functions and verify them across different execution scenarios. This required support for:

• data arrays of varying sizes
• different vector widths, including 256-bit and 512-bit
• simulation and on-target execution
• numerical accuracy across computation scenarios
• consistent checks for correctness, coverage and timing

The technical challenge was therefore not only to create optimized functions. It was to build a process that remains repeatable as configurations and test conditions grow.

The Solution: Generation and Verification in One Workflow

To address these requirements, emmtrix developed a tool-assisted workflow for generating, optimizing and verifying PPU-ready functions.

The workflow uses templates to combine function generation with matching test generation. Generated functions can be adapted to different data types, array dimensions and PPU configurations.

The matching tests can be executed both in simulation environments and directly on target hardware. This makes it possible to check correctness, coverage, timing and numerical accuracy as part of the same structured workflow.

The Result: A Scalable Framework

The result was not just a set of optimized functions.

The project established an ASPICE-compatible framework for extending and validating PPU-ready implementations in a scalable and repeatable way. It also included a growing function library, a comprehensive test suite and full documentation covering requirements, software design, implementation details and testing.

For teams working on vector-accelerated embedded software, the real bottleneck is often not writing one fast function. It is building a process that stays reliable as variants grow.

Feedback from the Published Success Story

TASKING highlighted the close collaboration, technical support and code quality throughout the project, as well as the early identification and resolution of emerging dependencies. The project feedback also contributed to further compiler improvements.

“Working with emmtrix was very productive. Their expertise in automated testing and compiler optimization helped us accelerate integration of new functionality while ensuring high reliability.”

Rudolf Grave, Director of Product Tooling & New Technologies, TASKING