aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
...
| * | Remove asicworld tests for (unsupported) switch-level modellingClifford Wolf2019-01-274-69/+0
| * | write_verilog: escape names that match SystemVerilog keywords.whitequark2019-01-271-0/+27
|/ /
* | Merge pull request #796 from whitequark/proc_clean_typoDavid Shah2019-01-251-1/+1
|\ \ | |/ |/|
| * proc_clean: fix critical typo.whitequark2019-01-231-1/+1
|/
* Merge pull request #793 from whitequark/proc_clean_fix_fully_defClifford Wolf2019-01-191-1/+7
|\
| * proc_clean: fix fully def check to consider compare/signal length.whitequark2019-01-181-1/+7
|/
* Cleanups in igloo2 example designClifford Wolf2019-01-176-7/+4
* Add SF2 IO buffer insertionClifford Wolf2019-01-176-3/+171
* Improve Igloo2 exampleClifford Wolf2019-01-178-22/+41
* Add "synth_sf2 -vlog", fix "synth_sf2 -edif"Clifford Wolf2019-01-171-2/+17
* Add "write_edif -gndvccy"Clifford Wolf2019-01-171-5/+13
* Add optional nullstr argument to log_id()Clifford Wolf2019-01-151-1/+3
* Fix handling of $shiftx in Verilog back-endClifford Wolf2019-01-151-3/+6
* Merge pull request #788 from whitequark/masterClifford Wolf2019-01-151-5/+17
|\
| * manual: document some gates.whitequark2019-01-141-9/+11
| * manual: explain $tribuf cell.whitequark2019-01-141-0/+10
* | Merge pull request #787 from whitequark/flowmap_relaxClifford Wolf2019-01-157-35/+776
|\ \ | |/ |/|
| * flowmap: clean up terminology.whitequark2019-01-081-17/+18
| * flowmap: implement depth relaxation.whitequark2019-01-087-22/+762
* | Improve igloo2 exampleClifford Wolf2019-01-084-5/+29
|/
* Fix typo in manualClifford Wolf2019-01-071-1/+1
* Bugfix in $memrd sharingClifford Wolf2019-01-071-2/+6
* Merge pull request #782 from whitequark/flowmap_dfsClifford Wolf2019-01-073-124/+243
|\
| * flowmap: construct a max-volume max-flow min-cut, not just any one.whitequark2019-01-061-7/+10
| * flowmap: add -minlut option, to allow postprocessing with opt_lut.whitequark2019-01-041-7/+21
| * flowmap: cleanup for clarity. NFCI.whitequark2019-01-043-107/+179
| * flowmap: improve debug graph output. NFC.whitequark2019-01-041-47/+76
| * flowmap: add link to longer version of paper. NFC.whitequark2019-01-041-2/+3
* | Switch "bugpoint" from system() to run_command()Clifford Wolf2019-01-071-1/+1
* | Merge pull request #783 from whitequark/bugpointClifford Wolf2019-01-072-1/+370
|\ \
| * | bugpoint: new pass.whitequark2019-01-072-1/+370
|/ /
* | Merge pull request #780 from phire/rename_from_wireClifford Wolf2019-01-061-0/+66
|\ \
| * | Rename cells based on the wires they drive.Scott Mansell2019-01-061-0/+66
* | | Add skeleton Yosys-Libero igloo2 example projectClifford Wolf2019-01-055-0/+44
* | | Bugfix in Verilog string handlingClifford Wolf2019-01-051-1/+1
|/ /
* | Merge pull request #777 from mmicko/achronix_cell_sim_fixClifford Wolf2019-01-041-1/+1
|\ \
| * | Fix cells_sim.v for Achronix FPGAMiodrag Milanovic2019-01-041-1/+1
| |/
* | Remove -m32 Verific eval lib build instructionsClifford Wolf2019-01-041-29/+0
* | Merge pull request #776 from mmicko/unify_noflattenClifford Wolf2019-01-044-8/+16
|\ \
| * | Unify usage of noflatten among architecturesMiodrag Milanovic2019-01-044-8/+16
| |/
* / Update Verific default pathClifford Wolf2019-01-041-1/+1
|/
* Merge pull request #775 from whitequark/opt_flowmapClifford Wolf2019-01-033-1/+875
|\
| * flowmap: new techmap pass.whitequark2019-01-033-1/+875
* | Merge pull request #770 from whitequark/opt_expr_cmpClifford Wolf2019-01-023-97/+178
|\ \ | |/ |/|
| * opt_expr: improve simplification of comparisons with large constants.whitequark2019-01-022-70/+65
| * opt_expr: refactor simplification of unsigned X<onehot and X>=onehot. NFCI.whitequark2019-01-022-31/+42
| * opt_expr: refactor simplification of signed X>=0 and X<0. NFCI.whitequark2019-01-022-32/+40
| * opt_expr: simplify any unsigned comparisons with all-0 and all-1.whitequark2019-01-023-17/+84
* | Merge pull request #755 from Icenowy/anlogic-dram-initClifford Wolf2019-01-026-2/+96
|\ \
| * | anlogic: implement DRAM initializationIcenowy Zheng2018-12-206-2/+96