Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
| * | synth_xilinx to techmap FFs after abc call, otherwise -retime fails | Eddie Hung | 2019-04-05 | 1 | -3/+3 | |
| | | ||||||
| * | abc -dff now implies "-D 0" otherwise retiming doesn't happen | Eddie Hung | 2019-04-05 | 1 | -0/+2 | |
|/ | ||||||
* | Add "read_ilang -lib" | Clifford Wolf | 2019-04-05 | 5 | -3/+39 | |
| | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
* | Added missing argument checking to "mutate" command | Clifford Wolf | 2019-04-04 | 1 | -0/+32 | |
| | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
* | Merge pull request #913 from smunaut/fix_proc_mux | Eddie Hung | 2019-04-03 | 1 | -1/+1 | |
|\ | | | | | proc_mux: Fix crash when trying to optimize non-existant mux to shiftx | |||||
| * | proc_mux: Fix crash when trying to optimize non-existant mux to shiftx | Sylvain Munaut | 2019-04-03 | 1 | -1/+1 | |
|/ | | | | | | last_mux_cell can be NULL ... Signed-off-by: Sylvain Munaut <tnt@246tNt.com> | |||||
* | Merge pull request #912 from YosysHQ/bram_addr_en | Clifford Wolf | 2019-04-03 | 1 | -0/+2 | |
|\ | | | | | memory_bram: Consider read enable for address expansion register | |||||
| * | memory_bram: Consider read enable for address expansion register | David Shah | 2019-04-02 | 1 | -0/+2 | |
| | | | | | | | | Signed-off-by: David Shah <dave@ds0.me> | |||||
* | | Merge pull request #910 from ucb-bar/memupdates | Clifford Wolf | 2019-04-03 | 1 | -30/+173 | |
|\ \ | |/ |/| | Refine memory support to deal with general Verilog memory definitions. | |||||
| * | Refine memory support to deal with general Verilog memory definitions. | Jim Lawson | 2019-04-01 | 1 | -30/+173 | |
| | | ||||||
* | | Merge pull request #895 from YosysHQ/pmux2shiftx | Eddie Hung | 2019-04-02 | 1 | -0/+28 | |
|\ \ | |/ |/| | RFC: Add a pmux-to-shiftx optimisation to proc_mux | |||||
| * | Create one $shiftx per bit in width | Eddie Hung | 2019-03-25 | 1 | -10/+17 | |
| | | ||||||
| * | Add a pmux-to-shiftx optimisation to proc_mux | Eddie Hung | 2019-03-23 | 1 | -0/+21 | |
| | | ||||||
* | | Merge pull request #907 from YosysHQ/clifford/fix906 | Clifford Wolf | 2019-03-30 | 1 | -0/+2 | |
|\ \ | | | | | | | Build Verilog parser with -DYYMAXDEPTH=100000 | |||||
| * | | Build Verilog parser with -DYYMAXDEPTH=100000, fixes #906 | Clifford Wolf | 2019-03-29 | 1 | -0/+2 | |
|/ / | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
* | | Merge pull request #901 from trcwm/libertyfixes | Clifford Wolf | 2019-03-28 | 4 | -9/+151 | |
|\ \ | | | | | | | Libertyfixes: accept superfluous ; at end of group. | |||||
| * | | Liberty file parser now accepts superfluous ; | Niels Moseley | 2019-03-27 | 1 | -1/+1 | |
| | | | ||||||
| * | | Liberty file parser now accepts superfluous ; | Niels Moseley | 2019-03-27 | 1 | -1/+1 | |
| | | | ||||||
| * | | Liberty file parser now accepts superfluous ; | Niels Moseley | 2019-03-27 | 4 | -9/+151 | |
| | | | ||||||
* | | | Merge pull request #903 from YosysHQ/bram_reset_transp | Clifford Wolf | 2019-03-28 | 1 | -0/+1 | |
|\ \ \ | |/ / |/| | | memory_bram: Reset make_transp when growing read ports | |||||
| * | | memory_bram: Reset make_transp when growing read ports | David Shah | 2019-03-27 | 1 | -0/+1 | |
| | | | | | | | | | | | | Signed-off-by: David Shah <dave@ds0.me> | |||||
* | | | Add "read -verific" and "read -noverific" | Clifford Wolf | 2019-03-27 | 1 | -6/+28 | |
| | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
* | | | Add "rename -output" | Clifford Wolf | 2019-03-27 | 1 | -3/+23 | |
| | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
* | | | Improve "rename" help message | Clifford Wolf | 2019-03-27 | 1 | -0/+6 | |
| | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
* | | | Add "cutpoint -undef" | Clifford Wolf | 2019-03-26 | 1 | -10/+14 | |
| | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
* | | | Add "hdlname" attribute | Clifford Wolf | 2019-03-26 | 2 | -0/+5 | |
| | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
* | | | Fix "verific -extnets" for more complex situations | Clifford Wolf | 2019-03-26 | 2 | -15/+93 | |
| | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
* | | | Add "cutpoint" pass | Clifford Wolf | 2019-03-25 | 2 | -0/+165 | |
|/ / | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
* | | Merge pull request #896 from YosysHQ/transp_fixes | Clifford Wolf | 2019-03-25 | 1 | -9/+16 | |
|\ \ | | | | | | | memory_bram: Fix multiclock make_transp | |||||
| * | | memory_bram: Fix multiclock make_transp | David Shah | 2019-03-24 | 1 | -9/+16 | |
| |/ | | | | | | | Signed-off-by: David Shah <dave@ds0.me> | |||||
* | | Merge pull request #897 from trcwm/libertyfixes | Clifford Wolf | 2019-03-25 | 8 | -22/+645 | |
|\ \ | |/ |/| | Liberty parser: Accept ranges [A:B], and ignore missing ';'. | |||||
| * | spaces -> tabs | Niels Moseley | 2019-03-25 | 1 | -78/+78 | |
| | | ||||||
| * | EOL is now accepted as ';' replacement on lines that look like: ↵ | Niels Moseley | 2019-03-25 | 1 | -4/+3 | |
| | | | | | | | | feature_xyz(option) | |||||
| * | Updated the liberty parser to accept [A:B] ranges (AST has not been ↵ | Niels Moseley | 2019-03-24 | 8 | -7/+631 | |
|/ | | | | updated). Liberty parser now also accepts key : value pair lines that do not end in ';'. | |||||
* | Add "mutate -none -mode", "mutate -mode none" | Clifford Wolf | 2019-03-23 | 1 | -1/+30 | |
| | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
* | Add "mutate -s <filename>" | Clifford Wolf | 2019-03-23 | 1 | -2/+24 | |
| | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
* | Merge pull request #893 from YosysHQ/clifford/btormeminit | Clifford Wolf | 2019-03-23 | 3 | -3/+63 | |
|\ | | | | | Memory init support in write_btor | |||||
| * | Add support for memory initialization to write_btor | Clifford Wolf | 2019-03-23 | 1 | -0/+53 | |
| | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
| * | Fix BTOR output tags syntax in writye_btor | Clifford Wolf | 2019-03-23 | 1 | -2/+1 | |
| | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
| * | Add RTLIL::Const::ext[su](), fix RTLIL::SigSpec::extend_u0 for 0-size signals | Clifford Wolf | 2019-03-23 | 2 | -1/+9 | |
|/ | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
* | Merge pull request #889 from YosysHQ/clifford/fix888 | Clifford Wolf | 2019-03-22 | 1 | -1/+10 | |
|\ | | | | | Fix mem2reg handling of memories with upto data ports | |||||
| * | Fix mem2reg handling of memories with upto data ports, fixes #888 | Clifford Wolf | 2019-03-21 | 1 | -1/+10 | |
| | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
* | | Merge pull request #890 from YosysHQ/clifford/fix887 | Clifford Wolf | 2019-03-22 | 1 | -1/+26 | |
|\ \ | | | | | | | Trim init attributes when resizing FFs in "wreduce" | |||||
| * | | Trim init attributes when resizing FFs in "wreduce", fixes #887 | Clifford Wolf | 2019-03-22 | 1 | -1/+26 | |
| |/ | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
* | | Merge pull request #891 from YosysHQ/xilinx_keep | David Shah | 2019-03-22 | 2 | -25/+31 | |
|\ \ | |/ |/| | xilinx: Add keep attribute where appropriate | |||||
| * | xilinx: Add keep attribute where appropriate | David Shah | 2019-03-22 | 2 | -25/+31 | |
|/ | | | | Signed-off-by: David Shah <dave@ds0.me> | |||||
* | Improve "read_verilog -dump_vlog[12]" handling of upto ranges | Clifford Wolf | 2019-03-21 | 1 | -3/+6 | |
| | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
* | Improve read_verilog debug output capabilities | Clifford Wolf | 2019-03-21 | 3 | -15/+42 | |
| | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
* | Merge pull request #885 from YosysHQ/clifford/fix873 | Clifford Wolf | 2019-03-19 | 1 | -2/+4 | |
|\ | | | | | Add Xilinx negedge FFs to synth_xilinx dffinit call, fixes #873 | |||||
| * | Add Xilinx negedge FFs to synth_xilinx dffinit call, fixes #873 | Clifford Wolf | 2019-03-19 | 1 | -2/+4 | |
|/ | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> |