Re: Is there a translator from SPARK Ada to VHDL?

[Peter Amey <peter.amey@praxis-cs.co.uk>]

Vinzent 'Gadget' Hoefler wrote:
> Stephen Leake wrote:
> 
> 
>>VHDL has a similar syntax to Ada, but it is really a different
>>language; the semantics are oriented towards parallel processing of
>>many small gates, as opposed to serial processing of one main
>>processor.
> 
> 
> A while ago I thought the same, but this seems to have changed.
> 
> 
>>You need a VHDL compiler that targets your FPGA. Spark does not; it
>>only targets mainstream computer chips.
> 
> 
> <URI:http://www.praxis-his.com/sparkada/publications.asp#hardware>
> 
> According to the paper there, it somehow does. :-)
> 
> 

We have done some work on SPARK as a hardware description language but 
there certainly isn't an off-the-shelf, mature product yet.  You might 
like to contact my coleague Adrian Hilton about this - his PhD was on 
exactly this topic.

I'll forward mails to sparkinfo@praxis-his.com to him if you like (or 
you can deduce his email address from mine and from his name if you prefer!)

Peter