Compilers

We offer and support high-quality embedded cross-compilers that are capable to support even the most demanding applications. These compilers are the best in the market for code quality, code-size, and technical support. We also have solutions for safety-critical projects that need to adhere to safety standards like IEC-61508, ISO26262, EN50128/129, DO178C. More here>>

		IAR Embedded Workbench for 8, 16, 32 bit The IAR Embedded WorkBench Toolsuite is available for many microcontroller architectures and recognized as the best-of breed in the Embedded market for even the most demanding designs. The IAR Embedded Workbench is specially optimized for each of the available architectures resulting in the smallest & fastest code as well a very high quality code. Each compiler is validated and offered with hi ...
		IAR Build Tools for CI (Linux & Windows) The IAR Build Tools edition offers streamlined automated build and test processes in frameworks built on Ubuntu, Red Hat or Windows. The build tools include the IAR C/C++ Compiler, IAR Assembler, Linker and the command line build utility IARBuild, supporting implementation in cross platform-based frameworks for automated application build and test processes. Static code analysis is available with ...
		IAR C/C++ Compilers and Debuggers Overview IAR Embedded Workbench is a set of development tools for building and debugging embedded applications using assembler, C and C++. IAR Embedded Workbench provides a completely integrated development environment including a project manager, editor, build tools and debugger. In a continuous workflow, you can create source files and projects, build applications and debug them in a simulator or on ...
		CompCert - formally verified optimizing C compiler What is CompCert? CompCert is a formally verified optimizing C compiler. Its intended use is compiling safety-critical and mission-critical software written in C and meeting high levels of assurance. It ac­cepts most of the ISO C 99 language, with some exceptions and a few extensions. It produces machine code for ARM, PowerPC, x86, and RISC-V architectures.   What sets CompCert apart? ...