| <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> |
