riscv
/
yosys
mirror of https://github.com/YosysHQ/yosys.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

aiger: -xaiger to return $_FF_ flops

This commit is contained in:
Eddie Hung 2020-04-16 14:01:54 -07:00
parent 722540dbf9
commit 4017cc6380
1 changed files with 2 additions and 15 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

17
frontends/aiger/aigerparse.cc
View File

@ -787,21 +787,8 @@ void AigerReader::post_process()
log_assert(q->port_input);
q->port_input = false;
Cell* ff;
int clock_index = mergeability[i];
if (clock_index & 1) {
ff = module->addCell(NEW_ID, ID($_DFF_N_));
clock_index--;
}
else
ff = module->addCell(NEW_ID, ID($_DFF_P_));
auto r = mergeability_to_clock.insert(clock_index);
if (r.second)
r.first->second = module->addWire(NEW_ID);
ff->setPort(ID::C, r.first->second);
ff->setPort(ID::D, d);
ff->setPort(ID::Q, q);
log_assert(GetSize(q) == 1);
Cell* ff = module->addFfGate(NEW_ID, d, q);
ff->attributes[ID::abc9_mergeability] = mergeability[i];
q->attributes[ID::init] = initial_state[i];
}