Here's the "dignified" Gartner Dataquest "What To See @ DAC 2006" list that
Gary Smith made this year.  You'll notice his list differs greatly from my
"Cheesy Must See" list in that Gary puts a lot more emphasis on SW and ESL
than I do.  In fact, 41% of Gary's choices are some sort of ESL/SW thingy,
while only 9% of mine were.  (For fun, * below shows were Gary & I agreed.)
Here is Gary's complete list:

   Mathworks    system design automation  http://www.mathworks.com
   ARM          SW virtual prototype      http://www.arm.com
 * CoWare       SW virtual prototype      http://www.coware.com
   Virtio       SW virtual prototype      http://www.virtio.com
 * Summit       SW virtual prototype      http://www.summit-design.com
   Vast         SW virtual prototype      http://www.vastsystems.com
   Imperas      ESL SW development        http://www.imperas.com
 * Mentor       ESL co-verification       http://www.mentor.com
   Calypto      ESL formal verification   http://www.calypto.com
   Tenison      ESL models                http://www.tenison.com
   Bluespec     ESL synthesis             http://www.bluespec.com
 * Forte        ESL synthesis             http://www.forteds.com

 * ArchPro      power optimization        http://www.archpro-da.com
 * Golden Gate  power optimization        http://www.ggtcorp.com
   Proficient   power optimization        http://www.proficient-design.com

 * Magma        ASIC layout               http://www.magma-da.com
 * Sierra       ASIC layout               http://www.sierra-da.com
 * Cadence      custom layout             http://www.cadence.com
   Pulsic       custom layout             http://www.pulsic.com
 * Pyxis        custom layout             http://www.pyxistech.com

 * Aprio        DFY                       http://www.aprio.com
   Blaze        DFM                       http://www.blaze-dfm.com
   Brion        DFY                       http://www.brion.com
 * ClearShape   DFY                       http://www.clearshape.com
   KLA-Tencor   DFY                       http://www.kla-tencor.com
   Predictions  DFY                       http://www.icyield.com
 * Ponte        DFY                       http://www.ponte.com

   Javelin      Si virtual prototype      http://www.javelin-da.com

 * Apache       thermal analysis          http://www.apache-da.com

What's interesting is that Gary listed NO bughunters, NO statistical timing
analysis, NO Verilog/VHDL simulation, NO test, NO physical verification, NO
constraint reduction tools, NO synthesis, and NO analog/SPICE/RF tools this
year (while I defintely did.)  Over the past 5 years, Gary's had a strong
preference for "virtual prototyping" tools, so I guess he decided to kill
off all these other extra tools to pimp SW/ESL even more so this year.

The major difference in our "must see" lists?  Gary's big into pretending
about chips being made, while I'm big into chips actually being made.  :)