High-Level Design and Verification: How Can We Finally Move on From the Forrest Gump Era? By Cadence June 27, 2012