aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
* Add more DFF typesMiodrag Milanovic2023-04-065-48/+102
|
* Added proper simulation model for CCU2DMiodrag Milanovic2023-04-061-15/+35
|
* Generate TRELLIS_DPR16X4 for lutramMiodrag Milanovic2023-04-063-21/+72
|
* machxo2: Initial support for carry chains (CCU2D)Miodrag Milanovic2023-04-064-5/+127
|
* Bump versiongithub-actions[bot]2023-03-241-1/+1
|
* Update Xilinx cell definitions, fixes #3699Miodrag Milanovic2023-03-233-6/+16
|
* Bump versiongithub-actions[bot]2023-03-211-1/+1
|
* Merge pull request #3708 from jix/void_funcJannis Harder2023-03-203-1/+56
|\ | | | | verilog: Support void functions
| * verilog: Support void functionsJannis Harder2023-03-203-1/+56
|/ | | | | | | The difference between void functions and tasks is that always_comb's implicit sensitivity list behaves as if functions were inlined, but ignores signals read only in tasks. This only matters for event based simulation, and for synthesis we can treat a void function like a task.
* Update testsMiodrag Milanovic2023-03-207-16/+16
|
* Start unification effort for machxo2 and ecp5Miodrag Milanovic2023-03-204-31/+23
|
* Add additional iopad_external_pin attributesMiodrag Milanovic2023-03-201-4/+22
|
* Add iopad_external_pin to some basic io primitivesMiodrag Milanovic2023-03-202-12/+13
|
* insert IO buffers for ECP5, off by defaultMiodrag Milanovic2023-03-201-1/+14
|
* Bump versiongithub-actions[bot]2023-03-161-1/+1
|
* Merge pull request #3704 from jix/enum_valuesMiodrag Milanović2023-03-153-34/+89
|\ | | | | verific: Fix enum_values support and signed attribute values
| * verific: Fix enum_values support and signed attribute valuesJannis Harder2023-03-153-34/+89
| | | | | | | | | | | | This uses the same constant parsing for enum_values and for attributes and extends it to handle signed values as those are used for enums that implicitly use the int type.
* | Bump versiongithub-actions[bot]2023-03-111-1/+1
|/
* Merge pull request #3682 from daglem/struct-member-out-of-boundsJannis Harder2023-03-108-22/+145
|\ | | | | Out of bounds checking for struct/union members
| * Added test for dynamic indexing within struct membersDag Lem2023-03-082-0/+71
| |
| * Index struct/union members within corresponding wire chunksDag Lem2023-03-055-33/+69
| | | | | | | | | | This guards against access to bits outside of struct/union members via dynamic indexing.
| * Out of bounds checking for struct/union membersDag Lem2023-02-193-6/+22
| | | | | | | | Currently, only constant indices are checked.
* | ice40: Fix path delay definitionsStefan Riesenberger2023-03-101-14/+14
| | | | | | | | | | | | Parallel connections do not allow matching different bit widths. A full connection has to be used instead. Allows iverilog to parse the simulation library with hardware path delays enabled.
* | Bump versiongithub-actions[bot]2023-03-071-1/+1
| |
* | Merge pull request #3684 from YosysHQ/fix-GIT_REVN. Engelhardt2023-03-061-1/+1
|\ \
| * | Makefile: fix GIT_REV extraction if Yosys is built as submodule.Catherine2023-03-011-1/+1
| | |
* | | Next dev cycleMiodrag Milanovic2023-03-062-2/+5
| | |
* | | Release version 0.27Miodrag Milanovic2023-03-062-3/+14
| | |
* | | Bump versiongithub-actions[bot]2023-03-021-1/+1
| | |
* | | Merge pull request #3690 from whitequark/smtbmc-help-optN. Engelhardt2023-03-011-4/+13
|\ \ \
| * | | yosys-smtbmc: support -h/--help (and exit with code 0).Catherine2023-02-271-4/+13
| | | |
* | | | Merge pull request #3692 from nakengelhardt/stat_q_fixN. Engelhardt2023-03-011-1/+1
|\ \ \ \
| * | | | stat: pass down quiet argN. Engelhardt2023-02-281-1/+1
| | | | |
* | | | | Merge pull request #3688 from pu-cc/gatemate-reginitN. Engelhardt2023-03-013-8/+16
|\ \ \ \ \ | |/ / / / |/| | | |
| * | | | gatemate: Enable register initializationPatrick Urban2023-02-153-8/+16
| | | | |
* | | | | Merge pull request #3663 from uis246/masterMiodrag Milanović2023-02-281-0/+17
|\ \ \ \ \ | | | | | | | | | | | | gowin: Add new types of oscillator
| * | | | | gowin: Add new types of oscillatoruis2023-02-061-0/+17
| | | | | |
* | | | | | Merge pull request #3652 from martell/elvdsMiodrag Milanović2023-02-281-0/+8
|\ \ \ \ \ \ | | | | | | | | | | | | | | gowin: Add support for emulated differential output
| * | | | | | gowin: Add support for emulated differential outputmartell2023-01-291-0/+8
| |/ / / / /
* | | | | | Bump versiongithub-actions[bot]2023-02-281-1/+1
| | | | | |
* | | | | | Merge pull request #3646 from YosysHQ/lofty/fix-3591Miodrag Milanović2023-02-272-4/+41
|\ \ \ \ \ \ | | | | | | | | | | | | | | muxcover: do not add decode muxes with x inputs
| * | | | | | muxcover: do not add decode muxes with x inputsLofty2023-01-262-4/+41
| | | | | | |
* | | | | | | Merge pull request #3674 from YosysHQ/fix_wide_caseN. Engelhardt2023-02-278-14/+123
|\ \ \ \ \ \ \
| * | | | | | | run verific tests in test targetMiodrag Milanovic2023-02-271-0/+3
| | | | | | | |
| * | | | | | | Added ranged case checkMiodrag Milanovic2023-02-272-0/+27
| | | | | | | |
| * | | | | | | Add test exampleMiodrag Milanovic2023-02-274-0/+51
| | | | | | | |
| * | | | | | | Handle more wide case selector typesMiodrag Milanovic2023-02-271-14/+42
| | | | | | | |
* | | | | | | | fabulous: Add support for mapping carry chainsgatecat2023-02-275-2/+102
|/ / / / / / / | | | | | | | | | | | | | | | | | | | | | Signed-off-by: gatecat <gatecat@ds0.me>
* | | | / / / Bump versiongithub-actions[bot]2023-02-241-1/+1
| |_|_|/ / / |/| | | | |
* | | | | | Merge pull request #3685 from YosysHQ/update-abcCatherine2023-02-231-1/+1
|\ \ \ \ \ \ | |_|_|_|/ / |/| | | | | Update abc