assume（）が初期文のために機能しない

Question

https://i.imgur.com/NCUjYmr.pngの場合、最初に信号 "reset"は「1」であるとは思われませんでしたか？誰もが仮定が働かない理由を知っていますか？

Answer 1

解決策が見つかりました。私はシステムの初期状態ではない状態で時間的誘導を開始します。したがって、信号「リセット」は最初に「1」とはみなされません。

Answer 2

仮定は正式な検証環境でのみ想定されます。しかし、シミュレーションベースの検証では、assertステートメントとしてのみ動作します。 LRMを1として

：

即時文はその発現が保持すると想定されることを指定前提としています。たとえば、検証計算を制約する設計入力に対する仮定を指定するために、仮説検証ツールでimmediate assume文を使用できます。このように使用すると、デザイン自体のデザインとは対照的に、デザインの環境の予想される動作を指定します。シミュレーションでは、直接的な仮定は、環境が想定どおりに動作することを検証するための即時のアサートとして動作します。シミュレーションツールは、 に、このように即時仮定文をチェックする機能を提供するものとする。

これにより、実際にはassumeという値ではなく、適切な値が指定されているかどうかがチェックされます。