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

blifwriter: write out .names for true/false/undef type == '-'

This commit is contained in:
eddiehung 2015-04-28 08:55:26 +01:00
parent c3c9fbfb8c
commit 058deb777e
1 changed files with 6 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
backends/blif/blif.cc
View File

@ -145,18 +145,24 @@ struct BlifDumper
if (config->false_type != "-")
f << stringf(".%s %s %s=$false\n", subckt_or_gate(config->false_type),
config->false_type.c_str(), config->false_out.c_str());
else
f << stringf(".names %s\n", config->false_out.c_str());
} else
f << stringf(".names $false\n");
if (!config->true_type.empty()) {
if (config->true_type != "-")
f << stringf(".%s %s %s=$true\n", subckt_or_gate(config->true_type),
config->true_type.c_str(), config->true_out.c_str());
else
f << stringf(".names %s\n1\n", config->true_out.c_str());
} else
f << stringf(".names $true\n1\n");
if (!config->undef_type.empty()) {
if (config->undef_type != "-")
f << stringf(".%s %s %s=$undef\n", subckt_or_gate(config->undef_type),
config->undef_type.c_str(), config->undef_out.c_str());
else
f << stringf(".names %s\n", config->undef_out.c_str());
} else
f << stringf(".names $undef\n");
}