diff options
Diffstat (limited to 'passes')
| -rw-r--r-- | passes/cmds/chformal.cc | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/passes/cmds/chformal.cc b/passes/cmds/chformal.cc index 0131063b3..c4666f1f0 100644 --- a/passes/cmds/chformal.cc +++ b/passes/cmds/chformal.cc @@ -273,8 +273,8 @@ struct ChformalPass : public Pass { if (mode =='p') { for (auto cell : constr_cells) - module->addCover(NEW_ID, cell->getPort(ID::EN), State::S1, - "$auto$coverprecond$" + cell->get_src_attribute()); + module->addCover(NEW_ID_SUFFIX("coverprecond"), + cell->getPort(ID::EN), State::S1, cell->get_src_attribute()); } else if (mode == 'c') |