Commit message (Collapse) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | Added "chparam" command | Clifford Wolf | 2015-04-07 | |
| | ||||
* | Added support for initialized xilinx brams | Clifford Wolf | 2015-04-06 | |
| | ||||
* | Added support for initialized brams | Clifford Wolf | 2015-04-06 | |
| | ||||
* | Added Xilinx test case for initialized brams | Clifford Wolf | 2015-04-06 | |
| | ||||
* | Added Xilinx bram black-box modules | Clifford Wolf | 2015-04-06 | |
| | ||||
* | Added "port_directions" to write_json output | Clifford Wolf | 2015-04-06 | |
| | ||||
* | Avoid parameter values with size 0 ($mem cells) | Clifford Wolf | 2015-04-05 | |
| | ||||
* | make all vector-size related integer params in $mem sim model signed | Clifford Wolf | 2015-04-05 | |
| | | | | | | this fixes iverilog crashes such as the following: warning: verinum::as_long() truncated 32 bits to 31, returns 2147483647 draw_net_input.c:711: Error: malloc() ran out of memory. | |||
* | Added $_MUX4_, $_MUX8_, and $_MUX16_ cell types | Clifford Wolf | 2015-04-05 | |
| | ||||
* | Added "dffinit", Support for initialized Xilinx DFF | Clifford Wolf | 2015-04-04 | |
| | ||||
* | Added "init" attribute support to verilog backend | Clifford Wolf | 2015-04-04 | |
| | ||||
* | appnote 012 fix | Clifford Wolf | 2015-04-04 | |
| | ||||
* | Appnote 012 | Clifford Wolf | 2015-04-04 | |
| | ||||
* | Updated ABC to 51705b168d7a | Clifford Wolf | 2015-04-04 | |
| | ||||
* | Merge pull request #55 from ahmedirfan1983/master | Clifford Wolf | 2015-04-04 | |
|\ | | | | | added appnote and impr in btor | |||
| * | Update README | Ahmed Irfan | 2015-04-03 | |
| | | | | | | corrected url | |||
| * | Delete btor.ys | Ahmed Irfan | 2015-04-03 | |
| | | | | | | .ys script not needed | |||
| * | Update README | Ahmed Irfan | 2015-04-03 | |
| | | | | | | pmux cell is implemented | |||
| * | separated memory next from write cell | Ahmed Irfan | 2015-04-03 | |
| | | ||||
| * | Merge branch 'master' of https://github.com/cliffordwolf/yosys | Ahmed Irfan | 2015-04-03 | |
| |\ | |/ |/| | ||||
* | | documentation improvements | Clifford Wolf | 2015-03-29 | |
| | | ||||
* | | Ignore celldefine directive in verilog front-end | Clifford Wolf | 2015-03-25 | |
| | | ||||
* | | Fixes in cmos_cells.v | Clifford Wolf | 2015-03-25 | |
| | | ||||
* | | Fixed detection of absolute paths in ABC for win32 | Clifford Wolf | 2015-03-22 | |
| | | ||||
* | | Added blif reference to appnote 010 | Clifford Wolf | 2015-03-22 | |
| | | ||||
* | | Merge branch 'master' of github.com:cliffordwolf/yosys | Clifford Wolf | 2015-03-20 | |
|\ \ | ||||
| * | | Fixed handling of quotes in liberty parser | Clifford Wolf | 2015-03-18 | |
| | | | ||||
* | | | fix for python 2.6.6 | Clifford Wolf | 2015-03-20 | |
|/ / | ||||
* | | Added hierarchy -auto-top | Clifford Wolf | 2015-03-18 | |
| | | ||||
* | | Added Verilog backend $dffsr support | Clifford Wolf | 2015-03-18 | |
| | | ||||
* | | Documentation for JSON format, added attributes | Clifford Wolf | 2015-03-06 | |
| | | ||||
* | | Added very first version of "synth_ice40" | Clifford Wolf | 2015-03-05 | |
| | | ||||
* | | Fixed bug in "hierarchy" for parametric designs | Clifford Wolf | 2015-03-04 | |
| | | ||||
* | | Json bugfix | Clifford Wolf | 2015-03-03 | |
| | | ||||
* | | Json backend improvements | Clifford Wolf | 2015-03-03 | |
| | | ||||
* | | Added write_blif -attr | Clifford Wolf | 2015-03-02 | |
| | | ||||
* | | Added JSON backend | Clifford Wolf | 2015-03-02 | |
| | | ||||
* | | Const-fold parameter defs on-demand in AstNode::detectSignWidthWorker() | Clifford Wolf | 2015-03-01 | |
| | | ||||
* | | Added $assume support to write_smt2 | Clifford Wolf | 2015-02-26 | |
| | | ||||
* | | Added non-std verilog assume() statement | Clifford Wolf | 2015-02-26 | |
| | | ||||
* | | Added $assume cell type | Clifford Wolf | 2015-02-26 | |
| | | ||||
* | | Merge branch 'master' of github.com:cliffordwolf/yosys | Clifford Wolf | 2015-02-25 | |
|\ \ | ||||
| * | | Added "keep_hierarchy" attribute | Clifford Wolf | 2015-02-25 | |
| | | | ||||
* | | | Bugfix in iopadmap | Clifford Wolf | 2015-02-25 | |
|/ / | ||||
* | | Some cleanups in "clean" | Clifford Wolf | 2015-02-24 | |
| | | ||||
* | | Fixed compilation problems with gcc 4.6.3; use enum instead of const ints. | Clifford Wolf | 2015-02-24 | |
| | | | | | | | | (original patch by Andrew Becker <andrew.becker@epfl.ch>) | |||
* | | Minor "write_smt2" help msg change | Clifford Wolf | 2015-02-22 | |
| | | ||||
* | | Fixed "check -assert" | Clifford Wolf | 2015-02-22 | |
| | | ||||
* | | Added "<mod>_a" and "<mod>_i" to write_smt2 output | Clifford Wolf | 2015-02-22 | |
| | | ||||
* | | Added "check -assert" doc | Clifford Wolf | 2015-02-22 | |
| | |