Altera (Cyclone3?) или Xilinx (Virtex5?)

[deathsoft]

задача многопоточная (> 5 потоков)

Более того DevPartner позволяет выявлять deatlock'и в многопоточных программах, и делает это достаточно эффективно.