New pages
Jump to navigation
Jump to search
- 09:29, 12 June 2025 Function Duplication (hist | edit) [1,555 bytes] Oliver.Wolf.EMX (talk | contribs) (Created page with "A '''function duplication transformation''' also known as function cloning is a technique commonly used in program optimization, parallelization, and analysis to '''create multiple copies of a function''', each tailored to a specific context or use case. This approach allows for greater flexibility in optimizing or analyzing the function based on how it's used. = Description = Function duplication copies an existing function every time the function is called from a dif...") Tag: Visual edit
- 02:42, 8 April 2025 Automatic C to Rust Translation (hist | edit) [54,927 bytes] Timo.stripf (talk | contribs) (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
- 06:59, 4 April 2025 Infineon AURIX TC4x Parallel Processing Unit (PPU) (hist | edit) [20,115 bytes] Timo.stripf (talk | contribs) (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 Pointer Resolve Transformation (hist | edit) [6,222 bytes] Timo.stripf (talk | contribs) (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
- 03:02, 1 March 2025 Bitblast Transformation (hist | edit) [6,935 bytes] Timo.stripf (talk | contribs) (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...")