askeco / src_info_hf /api.create_clock.txt
gofeco's picture
Upload 100 files
b8d41f7 verified
raw
history blame
621 Bytes
<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>