10GbE MACs

Shopping for an 802.3ae MAC core. I've identified the following vendors
so far who seem to have real cores available in verilog rtl (VHDL not an
option):

Mentor
Cadence
MorethanIP
GDA Technologies
Sistolic

For anyone interested, Paxonet and NoBug Consulting have VHDL MACs.

This is for an ASIC project but may also involve an FPGA prototype. Has
anyone used any of these cores? I'm particularly interested in cores
than have been implemented and validated (including interoperability
testing) in silicon. Also, if there are other vendors not listed here
I'd be interested.

You can reply to me privately at rsefton@nextstate.com if you don't want
to post to the ng.

Thanks,

Robert