| <h3 id='___create_clock'>create_clock</h3> | |
| <pre>Timing command and GOF Formal command. Create clock for fault verification | |
| <b>Usage:</b> create_clock($clock_name, $clock_period); | |
| $clock_name: Clock name, input port name or black box instance output pin | |
| $clock_period: Clock period | |
| <b>Note:</b> This command can be used multiple times. The clock period is recommended to be multiples of 2 | |
| <b>Examples:</b> | |
| #1. Create clock on PIN_SPI_CLK, period 4ns | |
| create_clock("PIN_SPI_CLK", 4); | |
| #2. Create clock on PIN_APB_CLK and PLL clk_out | |
| create_clock("PIN_APB_CLK", 2); | |
| create_clock("u_pll_top/u_pll_core/clk_out", 2); | |
| </pre> |