The language compiler
is based on specifications developed in conjunction with a collaboration of experts in industry academia and government.
Budd Rutter, founder at Cloud Compiling, commented, "With our Compiling as a Service solution, we maintain current language compilers
for z/OS COBOL, PL/1, Fortran and C/C++, allowing our customers to immediately reduce costly investments in mainframe software licenses, and offset the challenges of a shrinking mainframe-educated work force.
This newest member of the Affirma family of verification products employs industry-standard Verilog and VHDL language compilers
, and supports existing Verilog-XL(R) simulation libraries and physical netlists (DEF).
While there, SofTech won the first large-scale development contract for the development of Ada language compilers
These are reflected in the verification engine, GUI, hierarchical verification, HPL, property language, and language compilers
These include an enhanced waveform database format, assertion language compilers
initially supporting the OpenVera Assertions (OVA) language, and knowledge database extensions.