yosys/backends
Clifford Wolf f7bd0a5232 Use log_abort() and log_assert() in BTOR backend 2014-03-07 15:56:10 +01:00
..
autotest Fixed gentb_constant handling in autotest backend 2013-12-04 09:09:42 +01:00
blif Added $lut support to blif backend (by user eddiehung from reddit) 2014-02-22 14:25:32 +01:00
btor Use log_abort() and log_assert() in BTOR backend 2014-03-07 15:56:10 +01:00
edif Better handling of nameDef and nameRef in edif backend 2014-02-21 13:40:43 +01:00
ilang Added support for dump -append 2014-02-04 23:45:30 +01:00
intersynth beautified write_intersynth 2014-01-25 20:16:38 +01:00
spice Added "top" attribute to mark top module in hierarchy 2013-11-24 05:03:43 +01:00
verilog Added $slice and $concat cell types 2014-02-07 17:44:57 +01:00