Hi,
The only one I know off is this board from Hardi in Sweden:
**broken link removed**
it has:
# 1 Virtex-II Pro device, either XC2VP70 or XC2VP100 in an FF1704 package
# 958 available I/Os in eight 120-pin HAPS connectors
# 20 Rocket I/O channels + 360 LVDS pairs for fast I/O
# 2 embedded PowerPC processors
# Single 5V supply voltage
# Three different VCCO regions with independently configurable I/O voltage
from 1.5V to 3.3V
# 16 clocks
# Battery backed-up encryption key
# JTAG interface
# Use as a daughter board or stand-alone
But it is much more expensive than $1000 (I don't have their price sheet any more).
You can contact them to see if they can give you a quote.
Hope it helps,
bA ehterAm,
/Farhad
**broken link removed**