Synopsys A-2007.12 マニュアル