File size: 621 Bytes
b8d41f7
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
<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>