Looking for *application* development environment w/FPGA

Hi,

I've been asked to develop software applications for a company who's
main product is silicon IP, implemented on ~40k logic cells on Altera
or Xilinx.

Their current development environment is the ARM Integrator, which,
for the applications I've been asked to develop, is *way* overkill
(and overpriced).

So, what platforms are available for such development? My ideal
platform would have the following:
1. FPGA with ~40k cells available for programming
2. ARM9 CPU
3. Linux BSP (VxWorks and WindowsCE nice-to-have)
4. Color LCD display (PDA-style)

Instead of (1) above, I'll also settle for an AMBA bus interface, so
that I can plug in a small daghterboard with our own FPGA.

TIA,