synopsys官方出品的formality最新用户手册,为2010年3月的版本