Functional Verification - Real Users, Real Problems, Real Opportunities (Panel). - Jonah McLeod; Nozar Azarakhsh; Glen Ewing; Paul Gingras; Scott Reedstrom; Chris Rowen (DAC, 1999)