13.33.80.4 Example

create_clock -period 10 [get_ports CK1]