设计与验证verilog hdl

				#-- Synplicity, Inc.
				#-- Version Synplify Pro 8.1
				#-- Project file C:\prj\FSM_abc\state3\state3.prd
				#-- Written on Fri Dec 16 16:54:36 2005
				
				#
				### Watch Implementation type ###
				#
				watch_impl -all
				#
				### Watch Implementation properties ###
				#
				watch_prop -clear {  state2|clk - Estimated Frequency }