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

Use the `-duplicate` option rather than `-save` and `-load` with an explicit name. 

Co-Authored-By: Claire Wolf <claire@symbioticeda.com>
This commit is contained in:
Alberto Gonzalez 2020-04-03 16:43:41 +00:00
parent 86fc49a9d6
commit 125a583c57
No known key found for this signature in database
GPG Key ID: 8395A8BA109708B2
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
passes/sat/qbfsat.cc
View File

@ -446,7 +446,7 @@ struct QbfSatPass : public Pass {
if (!opt.specialize_from_file) { if (!opt.specialize_from_file) {
//Save the design to restore after modiyfing the current module. //Save the design to restore after modiyfing the current module.
std::string module_name = module->name.str(); std::string module_name = module->name.str();
Pass::call(design, "design -save _qbfsat_tmp"); Pass::call(design, "design -duplicate");
//Replace input wires with wires assigned $allconst cells. //Replace input wires with wires assigned $allconst cells.
std::set<std::string> input_wires = validate_design_and_get_inputs(module); std::set<std::string> input_wires = validate_design_and_get_inputs(module);
@ -455,7 +455,7 @@ struct QbfSatPass : public Pass {
assume_miter_outputs(module); assume_miter_outputs(module);
QbfSolutionType ret = qbf_solve(module, opt); QbfSolutionType ret = qbf_solve(module, opt);
Pass::call(design, "design -load _qbfsat_tmp"); Pass::call(design, "design -pop");
module = design->module(module_name); module = design->module(module_name);
if (ret.unknown) if (ret.unknown)