Follow-up to my previous posting:
just did a 2.3 million cell design (8-9 mill. gates) flat using the Opteron build of Magma's tool. RTL synthesis only, it used up to 6GB and needed 10h to complete. Machine had a 1.8GHz CPU and 8GB RAM.
So with a decent Opteron box, everything seems to be possible ;-)