- if (mode_assert) module->addAssert(root_name, seq.sig_a, seq.sig_en);
- if (mode_assume) module->addAssume(root_name, seq.sig_a, seq.sig_en);
- if (mode_cover) module->addCover(root_name, seq.sig_a, seq.sig_en);
+ if (eventually) {
+ if (mode_assert) module->addLive(root_name, seq.sig_a, seq.sig_en);
+ if (mode_assume) module->addFair(root_name, seq.sig_a, seq.sig_en);
+ } else {
+ if (mode_assert) module->addAssert(root_name, seq.sig_a, seq.sig_en);
+ if (mode_assume) module->addAssume(root_name, seq.sig_a, seq.sig_en);
+ if (mode_cover) module->addCover(root_name, seq.sig_a, seq.sig_en);
+ }