초기 문구에 대해 assum()가 작동하지 않음

Question

https://i.imgur.com/NCUjYmr.png의 경우 신호 "재설정"이 초기에 '1'로 가정되지 않는 이유는 무엇입니까? 누구나 왜 가정이 작동하지 않는지 알 수 있습니까?

Answer 1

해결책을 찾았습니다. 나는 시스템의 초기 상태가 아닌 상태에서 시작하는 시간 유도에있다. 따라서 신호 "재설정"은 처음에는 '1'로 가정하지 않습니다.

Answer 2

가정은 공식 확인 환경에서만 가정으로 작동합니다. 그러나 시뮬레이션 기반 검증에서는 assert 문으로 만 작동합니다. LRM으로 당

:

즉각적인 문은 식을 개최 가정하도록 지정 가정합니다. 예를 들어, 즉시 계산 문을 공식 검증 도구와 함께 사용하여 검증 계산을 제한하는 설계 입력에 대한 가정을 지정할 수 있습니다. 이러한 방식으로 사용될 때 디자인의 환경과 예상되는 디자인의 동작을 구분합니다. 시뮬레이션에서 즉각적인 가정은 환경이 가정 된대로 작동하는지 확인하기 위해 즉각적인 주장으로 행동 할 수 있습니다. 시뮬레이션 툴은 에이 방법으로 즉시 가정 문을 검사 할 수있는 기능을 제공해야한다.

이 때문에 디자인에서 실제 값은 assume이 아니지만 적절한 값이 제공되는지 여부를 확인합니다.