diff options
author | eddiehung <e.hung@imperial.ac.uk> | 2015-04-28 08:55:26 +0100 |
---|---|---|
committer | eddiehung <e.hung@imperial.ac.uk> | 2015-04-28 08:55:26 +0100 |
commit | 058deb777e72458fa018e21eaf0322ca75b86fd7 (patch) | |
tree | 2ece8aed6604fe14134bb881ca5fbd4bfa8505e2 /backends/blif/blif.cc | |
parent | c3c9fbfb8c6782bcf39ed307325d3c83a3e69e7e (diff) | |
download | yosys-058deb777e72458fa018e21eaf0322ca75b86fd7.tar.gz yosys-058deb777e72458fa018e21eaf0322ca75b86fd7.tar.bz2 yosys-058deb777e72458fa018e21eaf0322ca75b86fd7.zip |
blifwriter: write out .names for true/false/undef type == '-'
Diffstat (limited to 'backends/blif/blif.cc')
-rw-r--r-- | backends/blif/blif.cc | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/backends/blif/blif.cc b/backends/blif/blif.cc index 6422d9f01..bbc0614e4 100644 --- a/backends/blif/blif.cc +++ b/backends/blif/blif.cc @@ -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"); } |