Compiler
translates a programming language to machine code.
-
Product
Harmonics And Flicker Measuring System
ProfLine Series
-
The Teseq ProfLine system is a complete and cost effective Harmonics and Flicker measurement test system which compiles to the latest IEC/EN standards, including IEC 61000-3-2 and IEC 61000-3-3. The programmable power generation capability of up to 45 kVA (90 kVA and 145 kVA sources comprise multiple 45 kVA units) provides more than ample power to cater for a wide range of Equipment Under Test (EUT).
-
Product
Ada Development Environment
GNAT Pro
-
GNAT Pro is a robust and flexible Ada development environment. It comprises a full Ada compiler (Ada 83, Ada 95, and Ada 2005 features) based on the GNU GCC technology, an Integrated Development Environment (GNAT Programming Studio), a comprehensive toolsuite including a visual debugger, and a set of libraries and bindings.
-
Product
Formally Verified Optimizing C Compiler
CompCert
-
AbsInt Angewandte Informatik GmbH
Meet the highest levels of software assurance by compiling your application with the only C compiler that's been formally verified to be free of miscompilation issues. All safety properties verified on the source code, e.g. with Astre, are guaranteed to hold for the generated executable as well.
-
Product
Cloud Edition
HES-DVM Proto
-
HES-DVM Proto CE is the Cloud Edition of Aldec’s HES-DVM software product used for design compilation and partitioning into multi-FPGA prototyping platforms. It is available in Amazon AWS Marketplace as an Amazon Machine Image (AMI) built upon the Amazon Linux image as a base with preinstalled Aldec HES-DVM software. The HES-DVM Proto CE combines Electronic Design Automation software for design partitioning and compute platform scalability of Amazon Elastic Compute Cloud (Amazon EC2).
-
Product
SNMP Agent Testing & Debugging Suite
SNMP Inquistor
-
An SNMP Agent Development process inevitably involves testing and debugging activities that are tedious and time consuming. To save time and money on this development phase and to ensure that the developed responder's software is compliant with the SNMP standards, LogiSoft AR Ltd. came up with the SNMP Inquisitor, an easy to use, intuitive and comprehensive application suite that includes: MIB Compiler,SNMP Inquisitor Application and SNMP Sender Utility.
