Verdi User’s Guide and TutorialNovas Verification Enhancement Solutions (2009.04)SpringSoft, Inc.Hsinchu, Taiwan and San Jose, CA www.springsoft.com