Arduino with AT94K

Hi,
Is there an Arduino board with the AT94K ? ( plus supporting libraries that I can use with the standard arduino IDE)

I have a project in mind which will require a small FPGA, came across the AT94K and was wondering if such a board exists and if anyone has used it.

Appreciate your response / advice

Thanks in advance

-d

Hi

For those of you interested in Arduino + FPGA, I came across some very useful suggestions and a couple of almost perfect solutions (Thanks to Barry, Mike & Stephen)

  1. The Papilio
    Papilio Wings

  2. The Ubershield
    http://ubershield.com/

to look up the thread..

Cheers
-d