error de restricción de tiempo del compilador RTL

Necesito saber la frecuencia de reloj máxima de mi diseño. Pero el compilador RTL no me da la frecuencia máxima si no doy una restricción de tiempo. (En realidad, no estoy seguro de si me dará la frecuencia si especifico una restricción de tiempo)

Leí el manual del compilador RTL y ofrece dos formas posibles de definir el período de reloj.

El primero:

set clock [define_clock –period <periodicity> –name <clock_name> [clock_ports]]

El segundo

define_clock -domain domain1 -name clk1 -period 720 [find / -port SYSCLK]

Aquí está mi guión. Puse la restricción de tiempo después de "elaborar".

set_attribute lib_search_path /opt/cadence/local/FreePDK45/osu_soc/lib/files
set_attribute library {gscl45nm.lib}

read_hdl -v2001 ccm.v

#timing constraint
set clock [define_clock –period 2000 -name clk [clk]]

#synthesis
synthesize -to_mapped 

#generate results
#netlist
write -mapped > ccm_synth.v

#statistics
report timing -lint > timing.txt

Probé varias opciones a continuación, pero la cadencia sigue quejándose de mi sintaxis:

Comando:

set clock [define_clock –period 2000 –name clk [clk]]

Información de error:

invalid command name "clk"
Encountered problems processing file: rc.tcl

Comando:

set clock [define_clock –period 2000 –name clk]

Información de error:

Error   : A required object parameter could not be found. [TUI-61] [define_clock]
        : An object of type 'pin|port' named '–period' could not be found.
        : Check to make sure that the object exists and is of the correct type.  The 'what_is' command can be used to determine the type of an object.
  define_clock: defines and apply a clock waveform 

Comando:

set clock [define_clock –period 2000]

Información de error:

    Error   : A required object parameter could not be found. [TUI-61] [define_clock]
            : An object of type 'pin|port' named '–period' could not be found.
            : Check to make sure that the object exists and is of the correct type.  The 'what_is' command can be used to determine the type of an object. define_clock: defines and apply a clock waveform 

Comando:

define_clock -name clk -period 2000 

Información de error:

Error   : A required object parameter could not be found. [TUI-61] [define_clock]
        : An object of type 'pin|port' named '–period' could not be found.
        : Check to make sure that the object exists and is of the correct type.  The 'what_is' command can be used to determine the type of an object.
  define_clock: defines and apply a clock waveform 

Comando:

define_clock [-name clk] -period 2000

Información de error:

invalid command name "-name"
Encountered problems processing file: rc.tcl

¿Podría alguien sugerir la sintaxis correcta?