diff options
| author | Andrew Zonenberg <azonenberg@drawersteak.com> | 2016-12-23 12:32:55 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-12-23 12:32:55 -0800 |
| commit | 5ffede5c0e81b682268129b79f305733e11242be (patch) | |
| tree | a0e70a25f3b4090912866264431662de67e1f226 /kernel/yosys.cc | |
| parent | a44cc7a3d1c21c37c7dfb88b92bb479389dfce16 (diff) | |
| parent | 9f69a70d746e7907eed494941bc89a18159caa1b (diff) | |
| download | yosys-5ffede5c0e81b682268129b79f305733e11242be.tar.gz yosys-5ffede5c0e81b682268129b79f305733e11242be.tar.bz2 yosys-5ffede5c0e81b682268129b79f305733e11242be.zip | |
Merge pull request #1 from azonenberg-hk/master
Pull changes from HK trip
Diffstat (limited to 'kernel/yosys.cc')
| -rw-r--r-- | kernel/yosys.cc | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/kernel/yosys.cc b/kernel/yosys.cc index 08fee9741..3d0aca78e 100644 --- a/kernel/yosys.cc +++ b/kernel/yosys.cc @@ -903,6 +903,8 @@ void run_backend(std::string filename, std::string command, RTLIL::Design *desig command = "verilog"; else if (filename.size() > 3 && filename.substr(filename.size()-3) == ".il") command = "ilang"; + else if (filename.size() > 4 && filename.substr(filename.size()-4) == ".aig") + command = "aiger"; else if (filename.size() > 5 && filename.substr(filename.size()-5) == ".blif") command = "blif"; else if (filename.size() > 5 && filename.substr(filename.size()-5) == ".edif") |