aboutsummaryrefslogtreecommitdiffstats
path: root/kernel
Commit message (Collapse)AuthorAgeFilesLines
...
* | | Add support for writing gzip-compressed filesDavid Shah2019-08-061-7/+60
|/ / | | | | | | Signed-off-by: David Shah <dave@ds0.me>
* | Add $_NMUX_, add "abc -g cmos", add proper cmos cell costsClifford Wolf2019-08-067-9/+46
| | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* | New mxe hacks needed to support 2ca237eMiodrag Milanovic2019-08-011-0/+4
| |
* | Fix case when file does not existMiodrag Milanovic2019-07-291-19/+21
| |
* | Merge pull request #1226 from YosysHQ/dave/gzipDavid Shah2019-07-272-9/+52
|\ \ | | | | | | Add support for gzip'd input files
| * | Fix frontend auto-detection for gzipped inputDavid Shah2019-07-261-9/+12
| | | | | | | | | | | | Signed-off-by: David Shah <dave@ds0.me>
| * | Add support for reading gzip'd input filesDavid Shah2019-07-261-0/+40
| |/ | | | | | | Signed-off-by: David Shah <dave@ds0.me>
* | replaced std::iterator with using statementsJakob Wenzel2019-07-251-6/+6
| |
* | made ObjectIterator extend std::iteratorJakob Wenzel2019-07-242-2/+19
|/ | | | this makes it possible to use std algorithms on them
* Revert "Add log_checkpoint function and use it in opt_muxtree"Eddie Hung2019-07-152-8/+0
| | | | This reverts commit 0e6c83027f24cdf7082606a5631468ad28f41574.
* Redesign log_id_cache so that it doesn't keep IdString instances referenced, ↵Clifford Wolf2019-07-151-6/+13
| | | | | | fixes #1178 Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Add log_checkpoint function and use it in opt_muxtreeClifford Wolf2019-07-152-0/+8
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Merge pull request #1162 from whitequark/rtlil-case-attrsClifford Wolf2019-07-091-1/+1
|\ | | | | Allow attributes on individual switch cases in RTLIL
| * Allow attributes on individual switch cases in RTLIL.whitequark2019-07-081-1/+1
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | The parser changes are slightly awkward. Consider the following IL: process $0 <point 1> switch \foo <point 2> case 1'1 assign \bar \baz <point 3> ... case end end Before this commit, attributes are valid in <point 1>, and <point 3> iff it is immediately followed by a `switch`. (They are essentially attached to the switch.) But, after this commit, and because switch cases do not have an ending delimiter, <point 3> becomes ambiguous: the attribute could attach to either the following `case`, or to the following `switch`. This isn't expressible in LALR(1) and results in a reduce/reduce conflict. To address this, attributes inside processes are now valid anywhere inside the process: in <point 1> and <point 3> a part of case body, and in <point 2> as a separate rule. As a consequence, attributes can now precede `assign`s, which is made illegal in the same way it is illegal to attach attributes to `connect`. Attributes are tracked separately from the parser state, so this does not affect collection of attributes at all, other than allowing them on `case`s. The grammar change serves purely to allow attributes in more syntactic places.
* | Clarify script -scriptwire docEddie Hung2019-07-081-0/+4
|/
* Use Pass::call_on_module() as per @cliffordwolf commentsEddie Hung2019-07-021-1/+1
|
* script -select -> script -scriptwireEddie Hung2019-07-021-5/+5
|
* Support ability for "script -select" to take commands from wiresEddie Hung2019-06-281-8/+39
|
* Merge pull request #1098 from YosysHQ/xaigEddie Hung2019-06-281-0/+12
|\ | | | | "abc9" pass for timing-aware techmapping (experimental, FPGA only, no FFs)
| * Undo iterator based Module::remove() for cells, as containers will notEddie Hung2019-06-272-11/+2
| | | | | | | | invalidate
| * Merge remote-tracking branch 'origin/master' into xaigEddie Hung2019-06-211-0/+1
| |\
| * \ Merge remote-tracking branch 'origin/master' into xaigEddie Hung2019-06-202-1/+32
| |\ \
| * | | Fix leak removing cells during ABC integration; also preserve attrEddie Hung2019-06-172-2/+11
| | | |
| * | | Further cleanup based on @daveshah1Eddie Hung2019-06-141-0/+6
| | | |
| * | | Move ConstEvalAig to aigerparse.ccEddie Hung2019-06-131-157/+0
| | | |
| * | | More slimmingEddie Hung2019-06-131-35/+35
| | | |
| * | | Add ConstEvalAig specialised for AIGsEddie Hung2019-06-131-0/+157
| | | |
| * | | Merge remote-tracking branch 'origin/master' into xaigEddie Hung2019-06-129-21/+187
| |\ \ \
| * | | | Remove kernel/cost.cc since master has refactored itEddie Hung2019-04-221-75/+0
| | | | |
| * | | | Merge remote-tracking branch 'origin/master' into xaigEddie Hung2019-04-229-5/+289
| |\ \ \ \
| * \ \ \ \ Merge remote-tracking branch 'origin/master' into xaigEddie Hung2019-04-202-3/+6
| |\ \ \ \ \
| * | | | | | Ignore 'whitebox' attr in flatten with "-wb" optionEddie Hung2019-04-181-2/+2
| | | | | | |
| * | | | | | Merge remote-tracking branch 'origin/clifford/whitebox' into xaigEddie Hung2019-04-182-3/+7
| |\ \ \ \ \ \
| * \ \ \ \ \ \ Merge branch 'master' into xaigEddie Hung2019-04-087-27/+151
| |\ \ \ \ \ \ \
| * \ \ \ \ \ \ \ Merge remote-tracking branch 'origin/master' into xaigEddie Hung2019-02-261-2/+16
| |\ \ \ \ \ \ \ \
| * | | | | | | | | Add IdString::ends_with()Eddie Hung2019-02-261-0/+6
| | | | | | | | | |
| * | | | | | | | | Merge remote-tracking branch 'origin/master' into xaigEddie Hung2019-02-211-0/+3
| |\ \ \ \ \ \ \ \ \
| * | | | | | | | | | Refactor kernel/cost.h definition into cost.ccEddie Hung2019-02-082-49/+77
| | | | | | | | | | |
* | | | | | | | | | | Merge remote-tracking branch 'upstream/master'Bogdan Vukobratovic2019-06-271-0/+1
|\ \ \ \ \ \ \ \ \ \ \ | | |_|_|_|_|_|_|_|_|/ | |/| | | | | | | | |
| * | | | | | | | | | Add a few more filename rewritesBen Widawsky2019-06-201-0/+1
| | |_|_|_|_|_|_|_|/ | |/| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | This now allows a full pipeline to work, something such as: yosys -p "synth_ecp5 -json ~/work/fpga/prjtrellis/examples/ecp5_evn/blinky.v" Otherwise, you will get something along the lines of: ERROR: Can't open output file `~/work/fpga/prjtrellis/examples/ecp5_evn/blinky.v' for writing: No such file or directory Signed-off-by: Ben Widawsky <ben@bwidawsk.net>
* | | | | | | | | | Merge branch 'master' of https://github.com/bogdanvuk/yosys into ↵Clifford Wolf2019-06-201-5/+4
|\ \ \ \ \ \ \ \ \ \ | |/ / / / / / / / / |/| | | | | | | | | | | | | | | | | | | clifford/ext1046
| * | | | | | | | | Move netlist helper module to passes/opt for the time beingBogdan Vukobratovic2019-06-141-317/+0
| | | | | | | | | |
| * | | | | | | | | Merge remote-tracking branch 'upstream/master'Bogdan Vukobratovic2019-06-143-1/+14
| |\ \ \ \ \ \ \ \ \ | | | |_|_|_|_|_|_|/ | | |/| | | | | | |
| * | | | | | | | | Prepare for situation when port of the signal cannot be foundBogdan Vukobratovic2019-06-141-1/+7
| | | | | | | | | |
| * | | | | | | | | Implement disconnection of constant register bitsBogdan Vukobratovic2019-06-131-32/+85
| | | | | | | | | |
| * | | | | | | | | Pass SigBit by value to Netlist algorithmsBogdan Vukobratovic2019-06-131-65/+84
| | | | | | | | | |
| * | | | | | | | | Rename satgen_algo.h -> algo.h, code cleanup and refactoringBogdan Vukobratovic2019-06-123-206/+243
| | | | | | | | | |
| * | | | | | | | | Generate satgen instance instead of calling sat passBogdan Vukobratovic2019-06-111-1/+44
| | | | | | | | | |
| * | | | | | | | | Refactor driver map generationBogdan Vukobratovic2019-06-101-0/+158
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | - Implement iterators over the driver map that enumerate signals and cells within the cones of the signal
* | | | | | | | | | Merge pull request #1100 from bwidawsk/homeClifford Wolf2019-06-191-0/+4
|\ \ \ \ \ \ \ \ \ \ | | | | | | | | | | | | | | | | | | | | | | Support ~ in filename parsing