aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
* xilinx: do not make DSP48E1 a whitebox for ABC9 by default (#2325)Eddie Hung2020-09-233-17/+102
| | | | | | | | | | | * xilinx: eliminate SCCs from DSP48E1 model * xilinx: add SCC test for DSP48E1 * Update techlibs/xilinx/cells_sim.v * xilinx: Gate DSP48E1 being a whitebox behind ALLOW_WHITEBOX_DSP48E1 Have a test that checks it works through ABC9 when enabled
* Merge pull request #2384 from nakengelhardt/fix_2383Miodrag Milanović2020-09-231-1/+1
|\ | | | | switch argument order to work with macOS getopt
| * switch argument order to work with macOS getoptN. Engelhardt2020-09-231-1/+1
|/
* Bump versionYosys Bot2020-09-221-1/+1
|
* Merge pull request #2372 from nakengelhardt/name_is_publicN. Engelhardt2020-09-2114-25/+27
|\ | | | | add IdString::isPublic()
| * use the new isPublic() in a few placesN. Engelhardt2020-09-1413-25/+25
| |
| * add IdString::isPublic()N. Engelhardt2020-09-031-0/+2
| |
* | Bump versionYosys Bot2020-09-191-1/+1
| |
* | Merge pull request #2381 from YosysHQ/unsupportedclairexen2020-09-181-2/+8
|\ \ | | | | | | Better error for unsupported SVA sequence
| * | Better error for unsupported SVA sequenceMiodrag Milanovic2020-09-181-2/+8
|/ /
* | Bump versionYosys Bot2020-09-181-1/+1
| |
* | Merge pull request #2329 from antmicro/arrays-fix-multirange-sizeclairexen2020-09-172-2/+27
|\ \ | | | | | | Rewrite multirange arrays sizes [n] as [n-1:0]
| * | Test multirange (unpacked) arrays sizeLukasz Dalek2020-08-031-0/+16
| | | | | | | | | | | | Signed-off-by: Lukasz Dalek <ldalek@antmicro.com>
| * | Rewrite multirange arrays sizes [n] as [n-1:0]Lukasz Dalek2020-08-031-2/+11
| | | | | | | | | | | | Signed-off-by: Lukasz Dalek <ldalek@antmicro.com>
* | | Merge pull request #2330 from antmicro/arrays-fix-multirange-accessclairexen2020-09-172-1/+13
|\ \ \ | | | | | | | | Fix unsupported subarray access detection
| * | | Add test for subarray access on multidimensional arraysLukasz Dalek2020-08-031-0/+12
| | | | | | | | | | | | | | | | Signed-off-by: Lukasz Dalek <ldalek@antmicro.com>
| * | | Fix subarray access conditionLukasz Dalek2020-08-031-1/+1
| |/ / | | | | | | | | | Signed-off-by: Lukasz Dalek <ldalek@antmicro.com>
* | | Bump versionYosys Bot2020-09-111-1/+1
| | |
* | | Merge pull request #2369 from Xiretza/gitignoresMiodrag Milanović2020-09-103-2/+4
|\ \ \ | | | | | | | | Add missing gitignores for test artifacts
| * | | Add missing gitignores for test artifactsXiretza2020-08-313-2/+4
| | | |
* | | | Bump versionYosys Bot2020-09-041-1/+1
| |_|/ |/| |
* | | Merge pull request #2371 from whitequark/cxxrtl-debug-infowhitequark2020-09-033-30/+177
|\ \ \ | | | | | | | | cxxrtl: expose port direction and driver kind in debug information
| * | | cxxrtl: expose driver kind in debug information.whitequark2020-09-023-12/+112
| | | | | | | | | | | | | | | | | | | | | | | | This can be useful to determine whether the wire should be a part of a design checkpoint, whether it can be used to override design state, and whether driving it may cause a conflict.
| * | | cxxrtl: improve handling of FFs with async inputs (other than CLK).whitequark2020-09-021-22/+23
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Before this commit, the meaning of "sync def" included some flip-flop cells but not others. There was no actual reason for this; it was just poorly defined. After this commit, a "sync def" means that a wire holds design state because it is connected directly to a flip-flop output, and may never be unbuffered. This is not affected by presence of async inputs.
| * | | cxxrtl: expose port direction in debug information.whitequark2020-09-023-5/+51
| | | | | | | | | | | | | | | | | | | | | | | | This can be useful to distinguish e.g. a combinatorially driven wire with type `CXXRTL_VALUE` from a module input with the same type, as well as general introspection.
| * | | cxxrtl: fix typo in comment. NFC.whitequark2020-09-021-1/+1
| | | |
| * | | cxxrtl: fix inaccuracy in CXXRTL_ALIAS documentation. NFC.whitequark2020-09-021-1/+1
| | | | | | | | | | | | | | | | | | | | Nodes driven by a constant value have type CXXRTL_VALUE and their `next` pointer set to NULL. (This is already documented.)
* | | | Bump versionYosys Bot2020-09-031-1/+1
|/ / /
* | | Use latest verificMiodrag Milanovic2020-09-021-1/+1
| | |
* | | Bump versionYosys Bot2020-09-021-1/+1
| | |
* | | Merge pull request #2352 from zachjs/const-func-localparamclairexen2020-09-012-3/+18
|\ \ \ | | | | | | | | Allow localparams in constant functions
| * | | Allow localparams in constant functionsZachary Snow2020-08-202-3/+18
| | | |
* | | | Merge pull request #2366 from zachjs/library-formatclairexen2020-09-011-0/+11
|\ \ \ \ | | | | | | | | | | Simple support for %l format specifier
| * | | | Simple support for %l format specifierZachary Snow2020-08-291-0/+11
| |/ / / | | | | | | | | | | | | | | | | Yosys doesn't support libraries, so this provides the same behavior as %m, as some other tools have opted to do.
* | | | Merge pull request #2353 from zachjs/top-scopeclairexen2020-09-012-0/+23
|\ \ \ \ | | | | | | | | | | Module name scope support
| * | | | Module name scope supportZachary Snow2020-08-202-0/+23
| |/ / /
* | | | Merge pull request #2365 from zachjs/const-arg-loop-split-typeclairexen2020-09-012-3/+24
|\ \ \ \ | | | | | | | | | | Fix constant args used with function ports split across declarations
| * | | | Fix constant args used with function ports split across declarationsZachary Snow2020-08-292-3/+24
| |/ / /
* | / / Bump versionYosys Bot2020-09-011-1/+1
| |/ / |/| |
* | | Reorder to prevent crashMiodrag Milanovic2020-08-311-3/+3
| | |
* | | Merge pull request #2368 from YosysHQ/verific_portrangeclairexen2020-08-311-11/+20
|\ \ \ | | | | | | | | Fix import of VHDL enums
| * | | ast recognize lower case x and z and verific gives upper caseMiodrag Milanovic2020-08-301-2/+6
| | | |
| * | | Do not check for 1 and 0 onlyMiodrag Milanovic2020-08-301-6/+0
| | | |
| * | | Fix import of VHDL enumsMiodrag Milanovic2020-08-301-11/+22
|/ / /
* | | Bump versionYosys Bot2020-08-301-1/+1
| | |
* | | write_smt2: fix SMT-LIB tutorial URLwhitequark2020-08-291-1/+1
| | |
* | | Bump versionYosys Bot2020-08-291-1/+1
| | |
* | | intel_alm: better map wide but shallow multipliesDan Ravensloft2020-08-281-2/+6
| | |
* | | Bump versionYosys Bot2020-08-281-1/+1
| | |
* | | Merge pull request #2364 from whitequark/manual-typoMiodrag Milanović2020-08-271-1/+1
|\ \ \ | | | | | | | | manual: fix typo