Skip to content

Cart

Your cart is empty

New Targets for AbsInt Tools
AbsInt

New Targets for AbsInt Tools

New Targets 

   - StackAnalyzer for ARM 32-bit/LLVM/Clang-based compiler

 

   - StackAnalyzer for ARM 64-bit/LLVM/Clang-based compiler

 

   - StackAnalyzer for Infineon TriCore-AURIX/CompCert compiler

 

   - TimingProfiler by now support exactly the same targets as StackAnalyzer

 

   - TimeWeaver for Infineon TriCore-AURIX/CompCert compiler

 

   - aiT for Infineon TriCore-AURIX CPUs 

 

 

New QSKs

  - QSK for TimeWeaver for ARM 32-bit

 

  - QSK for StackAnalyzer for C28x

 

  - QSK for StackAnalyzer for MIPS

 

RELATED NEWS

Running Arm User-Based Licensing in Modern CI/CD Workflows
Hrutik Champaneri

Running Arm User-Based Licensing in Modern CI/CD Workflows

Modern embedded software development no longer ends at a successful local build. Firmware is now continuously compiled, tested, analyzed, and packaged through automated pipelines running on Jenki[...]

Read more
Virtual Platforms as a Foundation for Modern Embedded Development
Hrutik Champaneri

Virtual Platforms as a Foundation for Modern Embedded Development

Modern embedded software development is no longer limited to writing code and waiting for a physical target. As engineering teams adopt CI/CD pipelines, distributed development, and parallel hard[...]

Read more
QA-MISRA 26.04: Faster Analysis, Smarter Reporting, Greater Flexibility
Karen O'Connell

QA-MISRA 26.04: Faster Analysis, Smarter Reporting, Greater Flexibility

The new release delivers significant improvements in performance, reporting accuracy, and workflow flexibility for teams developing safety- and business-critical software. It introduces ...

Read more
Cantata 26.04: Bringing AI-Assisted Testing into the Verification Workflow
Karen O'Connell

Cantata 26.04: Bringing AI-Assisted Testing into the Verification Workflow

The new release introduces new AI-assisted testing capabilities, enhanced automation, and greater flexibility for teams developing safety-critical C and C++ software. Highlights include...

Read more
Why AI May Have a Bigger Impact on Embedded Verification Than Embedded Development
Hrutik Champaneri

Why AI May Have a Bigger Impact on Embedded Verification Than Embedded Development

Much of the discussion surrounding AI in embedded systems has focused on one question: Can AI write embedded software? While AI assisted code generation continues to evolve, many engineering orga[...]

Read more