diff options
| author | Clifford Wolf <clifford@clifford.at> | 2017-05-17 09:08:29 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2017-05-17 09:08:29 +0200 |
| commit | 05cdd58c8dc73968992681d0ee1cbfa89880b94f (patch) | |
| tree | 426fabb50c83d45f1194bd94125d4701242e920f /backends/blif | |
| parent | 9f4fbc5e74747c8973da3a2fd42d2ef40dbe1fa5 (diff) | |
| download | yosys-05cdd58c8dc73968992681d0ee1cbfa89880b94f.tar.gz yosys-05cdd58c8dc73968992681d0ee1cbfa89880b94f.tar.bz2 yosys-05cdd58c8dc73968992681d0ee1cbfa89880b94f.zip | |
Add $_ANDNOT_ and $_ORNOT_ gates
Diffstat (limited to 'backends/blif')
| -rw-r--r-- | backends/blif/blif.cc | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/backends/blif/blif.cc b/backends/blif/blif.cc index 4dbaca0bd..f9230a1e6 100644 --- a/backends/blif/blif.cc +++ b/backends/blif/blif.cc @@ -279,6 +279,18 @@ struct BlifDumper continue; } + if (!config->icells_mode && cell->type == "$_ANDNOT_") { + f << stringf(".names %s %s %s\n10 1\n", + cstr(cell->getPort("\\A")), cstr(cell->getPort("\\B")), cstr(cell->getPort("\\Y"))); + continue; + } + + if (!config->icells_mode && cell->type == "$_ORNOT_") { + f << stringf(".names %s %s %s\n1- 1\n-0 1\n", + cstr(cell->getPort("\\A")), cstr(cell->getPort("\\B")), cstr(cell->getPort("\\Y"))); + continue; + } + if (!config->icells_mode && cell->type == "$_AOI3_") { f << stringf(".names %s %s %s %s\n-00 1\n0-0 1\n", cstr(cell->getPort("\\A")), cstr(cell->getPort("\\B")), cstr(cell->getPort("\\C")), cstr(cell->getPort("\\Y"))); |