iCE40/yosys - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	Merge pull request #3675 from daglem/struct-item-queries	Jannis Harder	2023-02-15	1	-0/+112
\|\ \| \| \| \|	Support for data and array queries on struct/union item expressions
\| *	Corrected tests for data and array queries on struct/union item expressions	Dag Lem	2023-02-15	1	-80/+85
\| \|
\| *	Support for data and array queries on struct/union item expressions	Dag Lem	2023-02-15	1	-0/+107
\| \| \| \| \| \| \| \|	For now, $bits, $left, $right, $low, $high, and $size are supported.
* \|	Merge pull request #3671 from zachjs/master	Jannis Harder	2023-02-15	2	-0/+16
\|\ \ \| \|/ \|/\|	Add test for typenames using constants shadowed later on
\| *	Add test for typenames using constants shadowed later on	Zachary Snow	2023-02-12	2	-0/+16
\| \| \| \| \| \| \| \| \| \|	This possible edge case came up while reviewing #3555. It is currently handled correctly, but there is no clear test coverage.
* \|	Merge pull request #3661 from daglem/struct-array-range-offset	Jannis Harder	2023-02-15	1	-0/+20
\|\ \ \| \| \| \| \| \|	Handle range offsets in packed arrays within packed structs
\| * \|	Handle range offsets in packed arrays within packed structs	Dag Lem	2023-02-05	1	-0/+20
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	This brings the metadata for packed arrays in packed structs in line with the metadata for unpacked arrays, and correctly handles the case when both lsb and msb in an address range are non-zero.
* \| \|	Merge pull request #2995 from georgerennie/cover_precond	Jannis Harder	2023-02-14	1	-0/+25
\|\ \ \ \| \| \| \| \| \| \| \|	chformal: Add -coverenable option
\| * \| \|	chformal: Rename -coverprecond to -coverenable	George Rennie	2022-06-18	1	-3/+3
\| \| \| \|
\| * \| \|	chformal: Test -coverprecond and reuse the src attribute	Jannis Harder	2022-06-18	1	-0/+25
\| \| \| \|
* \| \| \|	Merge pull request #3126 from georgerennie/equiv_make_assertions	Jannis Harder	2023-02-14	1	-0/+32
\|\ \ \ \ \| \| \| \| \| \| \| \| \| \|	equiv_make: Add -make_assert option
\| * \| \| \|	equiv_make: Add -make_assert option	George Rennie	2022-06-24	1	-0/+32
\| \|/ / / \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	This adds a -make_assert flag to equiv_make. When used, the pass generates $eqx and $assert cells to encode equivalence instead of $equiv.
* \| \| \|	Merge pull request #3669 from jix/fix-xprop-tests-yosys-call	Jannis Harder	2023-02-13	2	-51/+60
\|\ \ \ \ \| \| \| \| \| \| \| \| \| \|	tests: Fix path of yosys invocation in xprop tests
\| * \| \| \|	xprop tests: Make iverilog invocation more portable	Jannis Harder	2023-02-13	1	-3/+3
\| \| \| \| \|
\| * \| \| \|	xprop: Test fixes and abort on test failure	Jannis Harder	2023-02-13	2	-3/+3
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	Use `$finish(0)` to silently exit even when using recent iverlog versions. Run `write_verilog -noexpr` before `write_verilog` as the latter can modify the design. This also enables checking the tests results, as xprop should be in a state where the existing tests pass.
\| * \| \| \|	xprop: Smaller subset of tests to run by default	Jannis Harder	2023-02-13	1	-44/+53
\| \| \| \| \|
\| * \| \| \|	tests: Fix path of yosys invocation in xprop tests	Jannis Harder	2023-02-10	1	-1/+1
\| \| \|_\|/ \| \|/\| \| \| \| \| \| \| \| \| \| \| \| \| \|	For now xprop test failures are still expected and ignored, but without this change, they did not even run unless the yosys build was in path.
* / \| \|	Resolve package types in interfaces (#3658)	Dag Lem	2023-02-12	3	-0/+31
\|/ / / \| \| \| \| \| \| \| \| \|	* Resolve package types in interfaces * Added test for resolving of package types in interfaces
* \| \|	tests: in xprop tests, use MAKE variable if set	Jannis Harder	2023-02-10	1	-1/+1
\| \| \|
* \| \|	Merge pull request #3650 from jix/rtlil_roundtrip_z_bits	Jannis Harder	2023-01-30	1	-0/+9
\|\ \ \ \| \| \| \| \| \| \| \|	backends/rtlil: Do not shorten a value with z bits to 'x
\| * \| \|	backends/rtlil: Do not shorten a value with z bits to 'x	Jannis Harder	2023-01-29	1	-0/+9
\| \| \| \|
* \| \| \|	add pmux option to bmuxmap for better fsm detection with verific frontend	N. Engelhardt	2023-01-30	1	-0/+45
\| \|_\|/ \|/\| \|
* \| \|	Resolve struct member package types	Dag Lem	2023-01-29	1	-0/+4
\| \| \|
* \| \|	Handle struct members of union type (#3641)	Dag Lem	2023-01-29	1	-0/+16
\|/ /
* \|	Merge pull request #3537 from jix/xprop	Jannis Harder	2023-01-11	6	-5/+805
\|\ \ \| \| \| \| \| \|	New xprop pass
\| * \|	New xprop pass to encode 3-valued x-propagation using 2-valued logic	Jannis Harder	2022-11-30	4	-0/+801
\| \| \|
\| * \|	simplemap: Map `$xnor` to `$_XNOR_` cells	Jannis Harder	2022-11-29	2	-5/+4
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	The previous mapping to `$_XOR_` and `$_NOT_` predates the addition of the `$_XNOR_` cell.
* \| \|	Merge pull request #3467 from jix/fix_cellarray_simplify	Jannis Harder	2022-12-19	1	-0/+45
\|\ \ \ \| \| \| \| \| \| \| \|	simplify: Do not recursively simplify AST_CELL within AST_CELLARRAY
\| * \| \|	simplify: regression test for AST_CELLARRAY simplification issue	Jannis Harder	2022-12-07	1	-0/+45
\| \| \| \|
* \| \| \|	Support for packed multidimensional arrays within packed structs	Dag Lem	2022-12-03	1	-0/+60
\|/ / /
* \| \|	Merge pull request #3551 from daglem/struct-array-swapped-range	Jannis Harder	2022-12-01	1	-0/+131
\|\ \ \ \| \|/ / \|/\| \|	Support for arrays with swapped ranges within structs
\| * \|	Tests for unpacked arrays in packed structs are for the Yosys frontend only	Dag Lem	2022-11-23	1	-0/+4
\| \| \|
\| * \|	Support for swapped ranges in second array dimension	Dag Lem	2022-11-23	1	-0/+42
\| \| \|
\| * \|	Support for arrays with swapped ranges within structs	Dag Lem	2022-11-12	1	-1/+86
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	This also corrects the implementation of C type arrays within structs. Fixes #3550
* \| \|	Merge branch 'zachjs-master'	Jannis Harder	2022-11-21	1	-0/+45
\|\ \ \
\| * \| \|	verilog: Support module-scoped task/function calls	Zachary Snow	2022-10-29	1	-0/+45
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	This is primarily intended to enable the standard-permitted use of module-scoped identifiers to refer to tasks and non-constant functions. As a side-effect, this also adds support for the non-standard use of module-scoped identifiers referring to constant functions, a feature that is supported in some other tools, including Iverilog.
* \| \| \|	fabulous: Allow adding extra custom prims and map rules	gatecat	2022-11-17	3	-0/+21
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	Signed-off-by: gatecat <gatecat@ds0.me>
* \| \| \|	fabulous: improvements to the pass	gatecat	2022-11-17	7	-0/+141
\|/ / / \| \| \| \| \| \| \| \| \|	Signed-off-by: gatecat <gatecat@ds0.me>
* \| \|	Replace GNU specific invocation of basename(1) with the equivalent	Lloyd Parkes	2022-10-23	1	-1/+1
\| \| \| \| \| \| \| \| \| \| \| \|	POSIX one. The tests now complete on BSD as well as GNU/Linux.
* \| \|	smt2/smtbmc: Fix FF witness data for fine grained or multi chunk FFs	Jannis Harder	2022-10-12	1	-7/+7
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	The witness metadata was missing fine grained FFs completely and for coarse grained FFs where the output connection has multiple chunks it lacked the offset of the chunk within the SMT expression. This fixes both, the later by adding an "smtoffset" field to the metadata.
* \| \|	Merge pull request #3502 from jix/equiv_opt_fixes	Jannis Harder	2022-10-11	25	-82/+95
\|\ \ \ \| \| \| \| \| \| \| \|	equiv_opt and clk2fflogic fixes
\| * \| \|	Reenable existing equiv_opt tests	Jannis Harder	2022-10-07	13	-54/+52
\| \| \| \|
\| * \| \|	Fix tests for check in equiv_opt	Jannis Harder	2022-10-07	13	-15/+31
\| \| \| \|
\| * \| \|	Re-enable opt_dff_sr equiv_opt checks	Claire Xenia Wolf	2022-10-07	1	-13/+12
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	Signed-off-by: Claire Xenia Wolf <claire@clairexen.net>
* \| \| \|	Merge pull request #3452 from ALGCDG/master	Miodrag Milanović	2022-10-10	1	-0/+9
\|\ \ \ \ \| \|/ / / \|/\| \| \|	Add BLIF names command input plane size check
\| * \| \|	Adding check for BLIF names command input plane size.	Archie	2022-08-21	1	-0/+9
\| \| \| \|
* \| \| \|	Test fixes for latest iverilog	Miodrag Milanovic	2022-09-21	1	-2/+12
\| \|/ / \|/\| \|
* \| \|	Add test for bug 3462	Miodrag Milanovic	2022-08-29	2	-0/+15
\|/ /
* \|	write_aiger: Fix non-$_FF_ FFs	Jannis Harder	2022-08-18	1	-0/+7
\| \| \| \| \| \| \| \|	This broke while switching sby's formal flows to always use $_FF_'s.
* \|	smtbmc: Add native json based witness format + smt2 backend support	Jannis Harder	2022-08-16	1	-0/+8
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	This adds a native json based witness trace format. By having a common format that includes everything we support, and providing a conversion utility (yosys-witness) we no longer need to implement every format for every tool that deals with witness traces, avoiding a quadratic opportunity to introduce subtle bugs. Included: * smt2: New yosys-smt2-witness info lines containing full hierarchical paths without lossy escaping. * yosys-smtbmc --dump-yw trace.yw: Dump results in the new format. * yosys-smtbmc --yw trace.yw: Read new format as constraints. * yosys-witness: New tool to convert witness formats. Currently this can only display traces in a human-readable-only format and do a passthrough read/write of the new format. * ywio.py: Small python lib for reading and writing the new format. Used by yosys-smtbmc and yosys-witness to avoid duplication.