Verified Computer Software Synopsys Inc 222 North Sepulveda Boulevard # 2000 El Segundo, CA 90245 (949) 753-7400