mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-13 20:38:44 +00:00
Code Activity

abc9_ops: -prep_dff_map to check $_DFF_[NP]_.Q drives module output

Browse source
This commit is contained in:
Eddie Hung 2020-04-14 12:35:12 -07:00
parent 489e83fc1e
commit 8bad885e78
1 changed files with 5 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
passes/techmap/abc9_ops.cc
View file

@ -175,6 +175,10 @@ void prep_dff_map(RTLIL::Design *design)
// because ABC9 doesn't support them
Q = cell->getPort(ID::Q);
log_assert(GetSize(Q.wire) == 1);
if (!Q.wire->port_output)
log_error("Module '%s' contains a %s cell where its 'Q' port does not drive a module output!\n", log_id(module), log_id(cell->type));
Const init = Q.wire->attributes.at(ID::init, State::Sx);
log_assert(GetSize(init) == 1);
if (init != State::S0) {