VLSI ANSWERSVLSI Network ↗
DV / PUBLIC QUESTION

What makes an assertion property different from a test stimulus sequence?

temporal checking versus stimulus generation.

Add context ↗Primary source ↗
SOURCE-LINKED WORKING ANSWERREVIEW STATUS VISIBLE

Working answer

Assertion property는 시간에 따른 signal 관계가 지켜지는지 관찰·검사하는 데 쓰이며, stimulus sequence는 DUT에 transaction이나 signal activity를 만들어냅니다. 둘을 함께 사용할 수 있지만 checking과 generation의 책임은 구분해야 합니다.

Outline only; exact syntax requires licensed standard.. 이 설명은 공식 도구 문서, 표준 원문 또는 signoff methodology를 대체하지 않습니다.