aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
...
| | * | | | | | | | | | | | Add testcaseEddie Hung2019-02-061-0/+10
| |/ / / / / / / / / / / / |/| | | | | | | | | | | |
* | | | | | | | | | | | | Add missing blackslash-to-slash convertion to smtio.py (matching ↵Clifford Wolf2019-02-061-1/+1
|/ / / / / / / / / / / / | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Smt2Worker::get_id() behavior) Signed-off-by: Clifford Wolf <clifford@clifford.at>
| | | * | | | | | | | | Revert most of autotest.sh; for non *.v use Yosys to translateEddie Hung2019-02-061-7/+9
| | | | | | | | | | | |
| | | * | | | | | | | | Rename ASCII testsEddie Hung2019-02-0615-0/+0
| | | | | | | | | | | |
| | | * | | | | | | | | WIPEddie Hung2019-02-063-0/+247
| | | | | | | | | | | |
| | | * | | | | | | | | Add testsEddie Hung2019-02-0416-8/+109
| |_|/ / / / / / / / / |/| | | | | | | | | |
* | | | | | | | | | | Merge pull request #798 from mmicko/masterClifford Wolf2019-01-271-1/+1
|\ \ \ \ \ \ \ \ \ \ \ | | | | | | | | | | | | | | | | | | | | | | | | Fixed Anlogic simulation model
| * | | | | | | | | | | Fixed Anlogic simulation modelMiodrag Milanovic2019-01-251-1/+1
| | |/ / / / / / / / / | |/| | | | | | | | |
* | | | | | | | | | | Merge pull request #800 from whitequark/write_verilog_tribufClifford Wolf2019-01-271-0/+12
|\ \ \ \ \ \ \ \ \ \ \ | | | | | | | | | | | | | | | | | | | | | | | | write_verilog: write $tribuf cell as ternary
| * | | | | | | | | | | write_verilog: write $tribuf cell as ternary.whitequark2019-01-271-0/+12
| | | | | | | | | | | |
* | | | | | | | | | | | Merge branch 'whitequark-write_verilog_keyword'Clifford Wolf2019-01-275-69/+27
|\ \ \ \ \ \ \ \ \ \ \ \ | |/ / / / / / / / / / / |/| | | | | | | | | | |
| * | | | | | | | | | | Remove asicworld tests for (unsupported) switch-level modellingClifford Wolf2019-01-274-69/+0
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | | | | | | | | | | 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
| * | | | | | | | | | 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
| * | | | | | | | | | proc_clean: fix fully def check to consider compare/signal length.whitequark2019-01-181-1/+7
|/ / / / / / / / / / | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Fixes #790.
* | | | | | | | | | Cleanups in igloo2 example designClifford Wolf2019-01-176-7/+4
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* | | | | | | | | | Add SF2 IO buffer insertionClifford Wolf2019-01-176-3/+171
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* | | | | | | | | | Improve Igloo2 exampleClifford Wolf2019-01-178-22/+41
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* | | | | | | | | | Add "synth_sf2 -vlog", fix "synth_sf2 -edif"Clifford Wolf2019-01-171-2/+17
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* | | | | | | | | | Add "write_edif -gndvccy"Clifford Wolf2019-01-171-5/+13
|/ / / / / / / / / | | | | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* | | | | | | | | Add optional nullstr argument to log_id()Clifford Wolf2019-01-151-1/+3
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* | | | | | | | | Fix handling of $shiftx in Verilog back-endClifford Wolf2019-01-151-3/+6
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* | | | | | | | | Merge pull request #788 from whitequark/masterClifford Wolf2019-01-151-5/+17
|\ \ \ \ \ \ \ \ \ | | | | | | | | | | | | | | | | | | | | Document $tribuf and some gates
| * | | | | | | | | 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: implement depth relaxation
| * | | | | | | | | flowmap: clean up terminology.whitequark2019-01-081-17/+18
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * "map": group gates into LUTs; * "pack": replace gates with LUTs. This is important because we have FlowMap and DF-Map, and currently our messages are ambiguous. Also clean up some other log messages while we're at it.
| * | | | | | | | | flowmap: implement depth relaxation.whitequark2019-01-087-22/+762
| | | | | | | | | |
* | | | | | | | | | Improve igloo2 exampleClifford Wolf2019-01-084-5/+29
|/ / / / / / / / / | | | | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* | | | | | | | | Fix typo in manualClifford Wolf2019-01-071-1/+1
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* | | | | | | | | Bugfix in $memrd sharingClifford Wolf2019-01-071-2/+6
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* | | | | | | | | 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
| * | | | | | | | | 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
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* | | | | | | | | | Merge pull request #783 from whitequark/bugpointClifford Wolf2019-01-072-1/+370
|\ \ \ \ \ \ \ \ \ \ | | | | | | | | | | | | | | | | | | | | | | bugpoint: new pass
| * | | | | | | | | | bugpoint: new pass.whitequark2019-01-072-1/+370
|/ / / / / / / / / / | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | A typical use of `bugpoint` would involve a script with a pass under test, e.g.: flowmap -relax -optarea 100 and would be invoked as: bugpoint -yosys ./yosys -script flowmap.ys -clean -cells This replaces the current design with the minimal design that still crashes the `flowmap.ys` script. `bugpoint` can also be used to perform generic design minimization using `select`, e.g. the following script: select i:* %x t:$_MUX_ %i -assert-max 0 would remove all parts of the design except for an unbroken path from an input to an output port that goes through exactly one $_MUX_ cell. (The condition is inverted.)
* | | | | | | | | | Merge pull request #780 from phire/rename_from_wireClifford Wolf2019-01-061-0/+66
|\ \ \ \ \ \ \ \ \ \ | | | | | | | | | | | | | | | | | | | | | | Rename cells based on the wires they drive.
| * | | | | | | | | | 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
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* | | | | | | | | | | Bugfix in Verilog string handlingClifford Wolf2019-01-051-1/+1
|/ / / / / / / / / / | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* | | | | | | | | | Merge pull request #777 from mmicko/achronix_cell_sim_fixClifford Wolf2019-01-041-1/+1
|\ \ \ \ \ \ \ \ \ \ | | | | | | | | | | | | | | | | | | | | | | Fix cells_sim.v for Achronix FPGA
| * | | | | | | | | | Fix cells_sim.v for Achronix FPGAMiodrag Milanovic2019-01-041-1/+1
| |/ / / / / / / / /
* | | | | | | | | | Remove -m32 Verific eval lib build instructionsClifford Wolf2019-01-041-29/+0
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* | | | | | | | | | Merge pull request #776 from mmicko/unify_noflattenClifford Wolf2019-01-044-8/+16
|\ \ \ \ \ \ \ \ \ \ | | | | | | | | | | | | | | | | | | | | | | Unify usage of noflatten among architectures
generated by cgit v1.2.3 (git 2.25.1) at 2025-11-29 04:31:35 +0000