-or-
A Census of 338 Engineers on Design Verification Tool Use
is chock-full of EDA data painstakingly compiled by John Cooley.
It's nicely organized, and the summary at the top of each subject is well worth a read. As you get further into each article, there are a lot of one-line responses that aren't very informative, though you can get a feel for what other companies are doing.
