aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
* use sha1 for parameter list in case if they contain spacesMiodrag Milanovic2020-09-301-2/+18
|
* Fixed installation dir override for Python scriptsMiodrag Milanovic2020-09-301-6/+6
|
* Bump versionYosys Bot2020-09-301-1/+1
|
* Merge pull request #2393 from nakengelhardt/no_const_sensitivityclairexen2020-09-293-7/+102
|\ | | | | write_verilog: emit intermediate wire for constant values in sensitivity list
| * add testsN. Engelhardt2020-09-282-0/+49
| |
| * write_verilog: emit intermediate wire for constant values in sensitivity listN. Engelhardt2020-09-281-7/+53
| |
* | Merge pull request #2392 from YosysHQ/mmicko/hierarchy_fixclairexen2020-09-291-5/+7
|\ \ | | | | | | Validate parameters only when they are used
| * | Validate parameters only when they are usedMiodrag Milanovic2020-09-251-5/+7
| | |
* | | Bump versionYosys Bot2020-09-291-1/+1
| |/ |/|
* | Merge pull request #2386 from btut/fix/pyinstallpathMiodrag Milanović2020-09-281-2/+1
|\ \ | | | | | | Fixed python installation path
| * | Fixed python installation pathBenedikt Tutzer2020-09-251-2/+1
| |/ | | | | | | | | | | The path where python expects it's libraries seems to change from operating system to operating system, but can be querried from the site package.
* | Merge pull request #2387 from btut/fix/pythonWrappersCXXFlagsN. Engelhardt2020-09-281-1/+1
|\ \ | |/ |/| Use CXXFLAGS to enable pyosys specific code before generating wrappers
| * Use CXXFLAGS to enable pyosys specific code before generating wrappersBenedikt Tutzer2020-09-251-1/+1
|/ | | | | | The .pyh files were generated without the CXXFLAGS. This meant that code marked by the WITH_PYTHON flag was excluded. This is fixed by adding the flag in the rule for .pyh files.
* Bump versionYosys Bot2020-09-241-1/+1
|
* 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
| |/ / /