cliffordwolf/yosys — pull request #26 by ahmedirfan1983 (2014-02-12 12:50:44+00:00)
Title: Btor

Using Splice command in the script.
Added concat and slice cell translation.