CELEBRITY IC Design and Verification Software 4.4.5.R May 1, 2007