Timing Checks

• $setup task - system task that checks for the setup time

• data_event - monitored for violations
• reference_event - establishes a reference for monitoring the dat_event signal
• limit - minimum time for setup

clock

data

setup

time

hold

time

$setup(data_event, reference_event, limit);

• $hold task - system task that checks for the hold time

• reference_event - establishes a reference for monitoring the dat_event signal
• data_event - monitored for violations
• limit - minimum time for hold

$hold(reference_event, data_event, limit);

specify

$setup (ina, posedge clk, set);

$hold (posedge clk, ina, hld);

$setup (inb, posedge clk, set);

$hold (posedge clk, inb, hld);

endspecify

이전 슬라이드

다음 슬라이드

첫 슬라이드로 이동

그래픽 버전 보기