mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-06-13 09:26:16 +00:00
Code Activity

Error checks for aiger witness

Browse source
This commit is contained in:
Miodrag Milanovic 2022-03-07 15:00:14 +01:00
parent b6aca1d743
commit 1b1ecd4ab0
1 changed files with 7 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

7
passes/sat/sim.cc
View file

@ -1099,6 +1099,8 @@ struct SimWorker : SimShared
std::string type, symbol; std::string type, symbol;
int variable, index; int variable, index;
dict<int, std::pair<SigBit,bool>> inputs, inits, latches; dict<int, std::pair<SigBit,bool>> inputs, inits, latches;
if (mf.fail())
log_cmd_error("Not able to read AIGER witness map file.\n");
while (mf >> type >> variable >> index >> symbol) { while (mf >> type >> variable >> index >> symbol) {
RTLIL::IdString escaped_s = RTLIL::escape_id(symbol); RTLIL::IdString escaped_s = RTLIL::escape_id(symbol);
Wire *w = topmod->wire(escaped_s); Wire *w = topmod->wire(escaped_s);
@ -1410,9 +1412,14 @@ struct AIWWriter : public OutputWriter
void write(std::map<int, bool> &) override void write(std::map<int, bool> &) override
{ {
if (!aiwfile.is_open()) return; if (!aiwfile.is_open()) return;
if (worker->map_filename.empty())
log_cmd_error("For AIGER witness file map parameter is mandatory.\n");
std::ifstream mf(worker->map_filename); std::ifstream mf(worker->map_filename);
std::string type, symbol; std::string type, symbol;
int variable, index; int variable, index;
if (mf.fail())
log_cmd_error("Not able to read AIGER witness map file.\n");
while (mf >> type >> variable >> index >> symbol) { while (mf >> type >> variable >> index >> symbol) {
RTLIL::IdString escaped_s = RTLIL::escape_id(symbol); RTLIL::IdString escaped_s = RTLIL::escape_id(symbol);
Wire *w = worker->top->module->wire(escaped_s); Wire *w = worker->top->module->wire(escaped_s);