Synopsys A-2007.12 User Manual