Any experiences with Ada 95 to C auto-transliterators?

[M8VL4]

Any experiences with Ada 95 to C auto-transliterators?

- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

We have an industrial grade theorem prover originally written in ANSI True BASIC that is compliant with DoD-2167A/2168 development and with ITAR, so salable anywhere.

We completed translation to Ada 95 in 50 procedures, 35 functions, and 500-typed global variables in 4,000 loc.  No tasking is invoked.  We used a perfect Ada 95 80386 compiler, now sun-setted with no support.  In Ada 95 the theorem prover is named M8VL4.

No Ada-to-VHDL transliterators exist.

Therefore we are forced to use sacreligous Ada-to-C translators to get C-code for the parts houses. 

Our goal is VHDL code submission to model implementation of ASIC/FPGA.

Colin James III

<personal information removed>

[Kenny_Tan]

If you manage to get the C code up, can you try to use our HLS tools? https://www.intel.com/content/www/us/en/software/programmable/quartus-prime/hls-compiler.html

There are no point to convert your C code again to the VHDL, however, you will need to check your functionality afterwards.

[M8VL4]

Thanks for the reply.

We moved on to seek the ready-made solution of SBC running 80386 exe, a hardware fix as usual.

We can't use ARM (no Windows), and won't buy PRC products as they add on fees to bankroll the CCP.

Intel does not have much in the SBC market other than "chip sets".

C to HLS does not really work very well at all because C is not strongly typed. 

The Altera tools bought by Intel are always problematic, just as are Xilinx tools bought by AMD.

This closes this Intel thread.

[Kenny_Tan]

Thanks,  Ada 95 to C auto-transliterator is not something we support.

Since this question has been answered, I now transition this thread to community support. If you have a new question, Please login to ‘https://supporttickets.intel.com/s/?language=en_US’, view details of the desire request, and post a feed/response within the next 15 days to allow me to continue to support you. After 15 days, this thread will be transitioned to community support. The community users will be able to help you on your follow-up questions.