この図は、「アサートの作成」ダイアログを示しています。 上部に「入力のアサート」（選択された状態）、「出力のアサート」、「コールバックのアサート」および「フォルトのアサート」の各ラジオ・ボタンが表示されています。 その下には、アサート・ターゲットのフィールド（右側に「参照」ボタン）および「比較方法」リストがあります。 その下のアサートの値のセクションには、「手動で入力」（選択された状態）と「ファイルからロード」の各ラジオ・ボタン、「サンプルの生成」ボタン、「別名保存」ボタンおよび「値の入力」フィールドがあります。この下には、「ヘルプ」、「OK」および「取消」ボタンがあります。