All public logs

Combined display of all available logs of emmtrix Wiki. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).

• 12:03, 9 February 2026 Timo.stripf talk contribs deleted page Infineon Aurix TC4x (content was: "#REDIRECT Infineon AURIX TC4x", and the only contributor was "Timo.stripf" (talk))
• 12:03, 9 February 2026 Timo.stripf talk contribs deleted page Tricore Instruction Set Architecture (content was: "#REDIRECT TriCore Instruction Set Architecture", and the only contributor was "Timo.stripf" (talk))
• 12:02, 9 February 2026 Timo.stripf talk contribs deleted page Tricore TC1.6.2 Instruction Set Architecture (content was: "#REDIRECT Tricore Instruction Set Architecture", and the only contributor was "Timo.stripf" (talk))
• 01:17, 4 February 2026 Timo.stripf talk contribs created page emmtrix ONNX-to-C Code Generator (Created page with "'''emmtrix ONNX-to-C Code Generator (emx-onnx-cgen)''' is an emmtrix-developed '''AI frontend compiler''' that translates ONNX models into '''deterministic, analyzable C code''' specifically designed for '''auto-vectorization and embedded target optimization'''. The primary goal of emx-onnx-cgen is not to perform aggressive hardware-specific optimizations itself, but to generate '''high-quality C code''' that serves as an ideal input for the emmtrix '''Vectorizer''' and...") Tag: Visual edit
• 09:50, 3 February 2026 Timo.stripf talk contribs moved page Category:Math Function Accuracy to Category:Numerical Precision without leaving a redirect
• 14:28, 30 January 2026 Timo.stripf talk contribs created page Numerical Precision in ONNX and AI Inference (Created page with "= Numerical Precision in ONNX and AI Inference = == Introduction == '''Open Neural Network Exchange (ONNX)''' is an open standard format for representing machine learning models and neural network computations across different frameworks and hardware^1(#ref-1). As models are exported and deployed via ONNX, the '''numerical precision''' of computations becomes critical. Deep learning inference involves a variety of floating-point operations, and small nume...")
• 13:05, 23 September 2025 Timo.stripf talk contribs created page emmtrix C to Rust Compiler (Created page with "C is widely used for systems and embedded programming but its unrestricted pointer arithmetic and manual memory management often lead to memory‑safety bugs:contentReference[oaicite:0]{index=0}. Rust addresses these issues through a strict ownership model that eliminates data races and enforces bounds checks. Translating existing C code to Rust can therefore improve safety and maintainability, but naïve one‑to‑one translations often produce verbose, unidiomatic Rus...") Tag: Visual edit
• 14:24, 15 September 2025 Timo.stripf talk contribs moved page Inline Transformation to Inline Transformation
• 06:48, 7 August 2025 Timo.stripf talk contribs moved page emmtrix C++ Link Stubber to emmtrix Link Stubber without leaving a redirect
• 06:47, 7 August 2025 Timo.stripf talk contribs created page emmtrix C++ Link Stubber (Created page with "emmtrix Link Stubber is a tool for generating definitions, such that a set of C/C++ files can be linked.") Tag: Visual edit
• 14:53, 5 August 2025 Timo.stripf talk contribs created page Unity Build Merger Transformation (Created page with "Unity build (also known as '''single compilation unit''') is a technique used in C and C++ projects to glue multiple translation units together so that they are compiled as a single unit.<ref>Single compilation unit reduces compilation time for programs spanning multiple files by allowing shared header files, definitions and templates to be parsed only once:contentReference[oaicite:0]{index=0}.</ref> Instead of compiling each source file separately and then linking them,...") Tag: Visual edit: Switched
• 13:29, 30 July 2025 Timo.stripf talk contribs moved page Obfuscation and Anonymization Transformation to Obfuscation and Anonymization Transformation
• 08:25, 30 June 2025 Timo.stripf talk contribs moved page Tempate:CallToAction to Template:CallToAction without leaving a redirect
• 08:15, 30 June 2025 Timo.stripf talk contribs created page Tempate:CallToAction (Created page with "{| style="border: 2px solid #007acc; background-color: #e6f4ff; padding: 0 3em; text-align: center;" | style="padding: 10px; font-size: 1.1em;" | <p>'''{{{1}}}''' <p>→ Contact us at [https://www.emmtrix.com/company/contact emmtrix.com/company/contact]. |}") Tag: Visual edit: Switched
• 11:06, 27 June 2025 Timo.stripf talk contribs created page TC4x PPU Coverage Analysis (Created page with "During development of a library for the Infineon AURIX TC4x Parallel Processing Unit (PPU), we had to fulfil safety-critical process requirements (ISO 26262, ASPICE). One key deliverable was proof of structural code coverage for every safety-relevant unit test. Traditional host-based coverage tools (e.g. gcov, llvm-cov) assume that the code under test can be built and run natively on the host. Because PPU kernels are developed in an C dialect (Vector C Code) containing...") Tag: Visual edit: Switched
• 14:09, 21 May 2025 Timo.stripf talk contribs created page User:Timo.stripf/Lvalue (Created page with "* LValueToRvalue cast drops qualifiers * Indirection or array subscript does not perform a memory access. They produce lvalues that perform a memory access during lvalue to rvalue conversion or on the left side of an assign * Function designators are no lvalue but it is reasonable to treat them as lvalue and function to pointer decay then converts them to rvalues") Tag: Visual edit
• 02:42, 8 April 2025 Timo.stripf talk contribs created page Automatic C to Rust Translation (Created page with "Great. I’ll gather information on currently maintained and relevant automatic C to Rust translation tools, focusing on technical depth for programmers with compiler knowledge. I’ll include comparisons of these tools in terms of design, limitations, translation strategies, and internal implementation details such as parsing, AST handling, and safety mapping. I’ll format the article in a Wikipedia-like structure with proper sections and references. I’ll let you kn...") Tag: Visual edit: Switched
• 08:04, 4 April 2025 Timo.stripf talk contribs created page File:Tricore History.png
• 08:04, 4 April 2025 Timo.stripf talk contribs uploaded File:Tricore History.png
• 07:14, 4 April 2025 Timo.stripf talk contribs created page File:PPU Applications.jpg
• 07:14, 4 April 2025 Timo.stripf talk contribs uploaded File:PPU Applications.jpg
• 07:08, 4 April 2025 Timo.stripf talk contribs created page Talk:Infineon AURIX TC4x Parallel Processing Unit (PPU) (Created page with "== 512-bit PPU == The bit-width of the PPU is not fixed to 512-bit. It is flexible between 128 and 256-bits. == Rework toolchain chapter == The toolchain chapter is tool Synopsys centric. It needs rework.")
• 06:59, 4 April 2025 Timo.stripf talk contribs created page Infineon AURIX TC4x Parallel Processing Unit (PPU) (Created page with "The '''Parallel Processing Unit (PPU)''' in Infineon’s AURIX™ TC4x microcontroller family is a specialized co-processor designed to accelerate highly parallel computations for automotive and industrial applications. It complements the TC4x’s TriCore™ 1.8 CPUs by offloading computationally intensive tasks such as digital signal processing and neural network inference, enabling artificial intelligence (AI) capabilities up to the highest automotive safety levels (AS...")
• 08:37, 26 March 2025 Timo.stripf talk contribs created page Pointer Resolve Transformation (Created page with " == Pointer Resolve Transformation in emmtrix Studio == emmtrix Studio supports pointer resolving both through #pragma directives and via the graphical user interface (GUI). The pointer resolve transformation tries to replace pointers ... === Example === In the following example, partial loop unrolling is applied with an unroll factor of 3. Please note: A condition of <code>i < n - 2</code> would be incorrect as <code>n - 2</code> overflow for values like <code>n =...") Tag: Visual edit: Switched
• 04:08, 22 March 2025 Timo.stripf talk contribs created page User:Timo.stripf/test2 (Created page with "Prozessor-Pipeline des Infineon TriCore TC3xx Kerns Überblick Die Infineon TriCore TC3xx Familie von Mikrocontrollern ist eine bedeutende Produktlinie für anspruchsvolle Anwendungen im Automobil- und Industriesektor. Diese Mikrocontroller zeichnen sich durch hohe Leistung, Sicherheitsfunktionen und integrierte Sicherheitsmodule aus <ref>{{cite web |url=https://www.infineon.com/cms/en/product/microcontroller/32-bit-tricore-microcontroller/32-bit-tricore-aurix-tc3xx/ |...") Tag: Visual edit
• 13:53, 21 March 2025 Timo.stripf talk contribs created page File:AURIX TC399 LFBGA-516 plain.jpg
• 13:53, 21 March 2025 Timo.stripf talk contribs uploaded File:AURIX TC399 LFBGA-516 plain.jpg
• 11:16, 17 March 2025 Timo.stripf talk contribs uploaded File:Favicon.ico
• 11:10, 17 March 2025 Timo.stripf talk contribs created page File:Favicon.ico (Created page with "#REDIRECT [https://www.emmtrix.com/favicon.ico]")
• 11:07, 17 March 2025 Timo.stripf talk contribs created page File:Wordmark.png
• 11:07, 17 March 2025 Timo.stripf talk contribs uploaded File:Wordmark.png
• 19:39, 11 March 2025 Timo.stripf talk contribs created page User:Timo.stripf/test (Created page with "Ich werde einen MediaWiki-Artikel über "Logical Execution Time" (LET) erstellen, mit Fokus auf deeply embedded Systeme, insbesondere im Automotive-Bereich mit AUTOSAR. Der Artikel wird technisch fundiert sein und sich an technische Leser richten. Er wird die theoretischen Grundlagen, Implementierung in Echtzeitsystemen, insbesondere mit AUTOSAR, sowie Anwendungen in eingebetteten Systemen behandeln. Der Artikel wird so strukturiert sein, dass später ein Werkzeug zur Pe...")
• 03:51, 8 March 2025 Timo.stripf talk contribs created page File:inlining subst.jpg
• 03:51, 8 March 2025 Timo.stripf talk contribs uploaded File:inlining subst.jpg
• 03:46, 8 March 2025 Timo.stripf talk contribs created page File:inlining overhead.jpg
• 03:46, 8 March 2025 Timo.stripf talk contribs uploaded File:inlining overhead.jpg
• 02:11, 7 March 2025 Timo.stripf talk contribs deleted page Loop Interchange (content was: "#REDIRECT Loop Interchange Transformation", and the only contributor was "Timo.stripf" (talk))
• 02:10, 7 March 2025 Timo.stripf talk contribs moved page Loop Interchange to Loop Interchange Transformation
• 03:02, 1 March 2025 Timo.stripf talk contribs created page Bitblast Transformation (Created page with "A '''bitblast transformation''' is a technique used in '''formal verification''', particularly in '''SAT solving''' and '''SMT solving'''. It refers to the process of converting expressions that operate on '''word-level data types''' (such as 32-bit integers or bitvectors) into equivalent logic formulas operating on '''individual bits'''. This transformation allows complex operations to be handled by '''Boolean satisfiability solvers''' (SAT solvers), which operate exclu...")
• 22:41, 28 February 2025 Timo.stripf talk contribs moved page Loop Unrolling to Loop Unrolling Transformation without leaving a redirect
• 09:24, 6 February 2025 Timo.stripf talk contribs created page Code Sinking (Created page with " ==Code Sinking Transformation in emmtrix Studio== emmtrix Studio can implement code sinking using #pragma directives or via the GUI. CodeSinking is a transformation that tries to move code parts to valid positions that are executed less often. === Typical Usage and Benefits === The transformation is used to optimize the runtime of the application by moving code parts out of loops or behind conditions to reduce the number of times the code is executed. === Example ===...") Tag: Visual edit
• 12:26, 29 January 2025 Timo.stripf talk contribs created page Category:Math Function Accuracy (Created page with "Category:Categories") Tag: Visual edit
• 11:06, 28 January 2025 Timo.stripf talk contribs created page Finding Highest ULP of Math Functions (Created page with " This article discusses methods for measuring and finding the maximum Unit in the Last Place (ULP) error in floating-point math functions. It covers both single-precision (binary32) and double-precision (binary64) IEEE 754 formats, highlighting the impracticality of exhaustive search for large input spaces and presenting a universal search algorithm that focuses on identifying inputs likely to produce large errors. == Background == In the IEEE 754 single-precision fo...") Tag: Visual edit: Switched
• 10:50, 19 December 2024 Timo.stripf talk contribs deleted page test (content was: "Hello, world 3!", and the only contributor was "Timo.stripf" (talk))
• 12:52, 10 December 2024 Timo.stripf talk contribs deleted page Group:Schema properties (content was: "", and the only contributor was "Timo.stripf" (talk))
• 12:52, 10 December 2024 Timo.stripf talk contribs created page Group:Schema properties (Timo.stripf created the page Group:Schema properties using a non-default content model "plain text")
• 12:52, 10 December 2024 Timo.stripf talk contribs created the page Group:Schema properties using a non-default content model "plain text"
• 12:50, 10 December 2024 Timo.stripf talk contribs deleted page smw/schema:Group:Predefined properties (content was: "", and the only contributor was "Timo.stripf" (talk))
• 12:50, 10 December 2024 Timo.stripf talk contribs created page smw/schema:Group:Predefined properties (Timo.stripf created the page smw/schema:Group:Predefined properties using a non-default content model "plain text")
• 12:50, 10 December 2024 Timo.stripf talk contribs created the page smw/schema:Group:Predefined properties using a non-default content model "plain text"