1811 commits

Author	SHA1	Message	Date
Kamil Rakoczy	a5ca4eeefb	Add or-assignment and plus-assignment tests ... Signed-off-by: Kamil Rakoczy <krakoczy@antmicro.com>	2020-06-24 11:56:26 +02:00
Marcelina Kościelnicka	88e7f90663	Update dff2dffe, dff2dffs, zinit to new FF types.	2020-06-23 18:24:53 +02:00
Kazuki Sakamoto	6bf75be73b	static cast: add tests	2020-06-19 17:40:38 -07:00
whitequark	7191dd16f9	Use C++11 final/override keywords.	2020-06-18 23:34:52 +00:00
Dan Ravensloft	8b4eb78849	intel_alm: fix DFFE matching	2020-06-11 19:55:51 +02:00
diego	d68a8f9e2b	Removing trailing whitespace	2020-06-10 10:35:40 -05:00
Claire Wolf	b3b515087d	Fix tests/opt/opt_rmdff ... This only passed before because "prep" was also running opt_rmdff Signed-off-by: Claire Wolf <claire@symbioticeda.com>	2020-06-09 22:48:26 +02:00
diego	3c2a1171ff	Adding latch tests for shift&mask AST dynamic part-select enhancements	2020-06-09 15:17:01 -05:00
Peter Crozier	01ec681373	Support 2D bit arrays in structures. Optimise array indexing.	2020-06-08 20:34:52 +01:00
Peter Crozier	76c499db71	Support packed arrays in struct/union.	2020-06-07 18:33:11 +01:00
Claire Wolf	7112f187cd	Add missing .gitignore file ... Signed-off-by: Claire Wolf <claire@symbioticeda.com>	2020-06-04 22:25:47 +02:00
clairexen	352731df4e	Merge pull request #2041 from PeterCrozier/struct ... Implementation of SV structs.	2020-06-04 18:26:07 +02:00
Eddie Hung	69850204c4	Merge pull request #2077 from YosysHQ/eddie/abc9_dff_improve ... abc9: -dff improvements	2020-06-04 08:15:25 -07:00
Eddie Hung	45cd323055	Merge pull request #2082 from YosysHQ/eddie/abc9_scc_fixes ... abc9: fixes around handling combinatorial loops	2020-06-03 17:35:46 -07:00
Peter Crozier	0d3f7ea011	Merge branch 'master' into struct	2020-06-03 17:19:28 +01:00
Eddie Hung	8a11019d38	tests: tidy up testcase	2020-06-03 08:41:55 -07:00
Eddie Hung	46ed0db2ec	Merge pull request #2080 from YosysHQ/eddie/fix_test_warnings ... tests: reduce test warnings	2020-06-03 08:37:07 -07:00
Miodrag Milanovic	0a88f002e5	allow range for mux test	2020-06-01 13:48:19 +02:00
Eddie Hung	ea4374a223	abc9_ops: update messaging (credit to @Xiretza for spotting)	2020-05-30 08:57:48 -07:00
Eddie Hung	d3b53bc495	abc9_ops: -reintegrate use SigMap to remove (* init *) from $_DFF_[NP]_	2020-05-29 17:17:40 -07:00
clairexen	0a14e1e837	Merge pull request #2029 from whitequark/fix-simplify-memory-sv_logic ... ast/simplify: don't bitblast async ROMs declared as `logic`	2020-05-29 16:52:11 +02:00
Xiretza	6a2bac21d3	Expand tests/simple/constmuldivmod.v	2020-05-28 22:59:04 +02:00
whitequark	abac0ab28e	Merge pull request #2091 from boqwxp/printattrs ... Add `printattrs` command to print attributes of currently selected objects.	2020-05-28 10:25:34 +00:00
Alberto Gonzalez	6228b10c9f	printattrs: Add test.	2020-05-27 08:00:00 +00:00
Eddie Hung	1dce798dc5	tests: add ecp5 latch testcase with -abc9	2020-05-25 16:39:16 -07:00
Eddie Hung	a7f2ef6d34	Merge pull request #2078 from YosysHQ/eddie/xilinx_sim_tidy ... xilinx: tidy up cells_sim.v a little	2020-05-25 14:21:10 -07:00
Eddie Hung	08221edbc1	tests: xilinx macc test to have initval, shorten BMC depth for runtime	2020-05-25 10:09:05 -07:00
Eddie Hung	60aa804915	tests: fix some test warnings	2020-05-25 10:07:58 -07:00
Eddie Hung	9c6d216a06	tests: add test for abc9 -dff removing a redundant flop entirely	2020-05-25 08:43:33 -07:00
Eddie Hung	8dd93e389e	tests: add testcase for abc9 -dff preserving flop names	2020-05-25 08:43:33 -07:00
Eddie Hung	95dcd7e785	test: add attribute-before-stmt test from @nakengelhardt	2020-05-25 07:36:53 -07:00
Eddie Hung	1c117ac023	verilog: do not warn for attributes on null statements	2020-05-25 07:36:53 -07:00
Eddie Hung	29d84339bf	tests: add an generate-else test too	2020-05-25 07:36:53 -07:00
Eddie Hung	589775538c	tests: add #2037 testcase	2020-05-25 07:36:53 -07:00
Eddie Hung	33b03ce904	xaiger: add testcase	2020-05-24 08:48:23 -07:00
Eddie Hung	574812d9a5	Merge pull request #2057 from YosysHQ/eddie/fix_task_attr ... verilog: support attributes before (not after) task identifier (but 13 s/r conflicts)	2020-05-21 11:00:36 -07:00
Marcelina Kościelnicka	aee439360b	Add force_downto and force_upto wire attributes. ... Fixes #2058.	2020-05-19 01:42:40 +02:00
Eddie Hung	2d573a0ff6	Merge pull request #1926 from YosysHQ/eddie/abc9_auto_dff ... abc9: support seq synthesis when module has (* abc9_flop *) and bypass non-combinatorial (* abc9_box *)	2020-05-18 08:06:50 -07:00
Eddie Hung	e7fd8912f0	tests: attributes before task enable	2020-05-14 16:09:41 -07:00
Eddie Hung	73b7ea713c	Merge pull request #1994 from YosysHQ/eddie/fix_bug1758 ... opt_expr: improve single-bit $and/$or/$xor/$xnor cells; gate cells too	2020-05-14 11:56:22 -07:00
Eddie Hung	13f9d65b6f	abc9: preserve $_DFF_?_.Q's (* init *); rely on clean to remove it	2020-05-14 10:33:57 -07:00
Eddie Hung	7cd3f4a79b	abc9_ops: add -prep_bypass for auto bypass boxes; refactor ... Eliminate need for abc9_{,un}map.v in xilinx -prep_dff_{hier,unmap} -> -prep_hier	2020-05-14 10:33:56 -07:00
Eddie Hung	722540dbf9	abc9: not enough to techmap_fail on (* init=1 *), hide them using $__	2020-05-14 10:33:56 -07:00
Eddie Hung	5ad3a85288	abc9: test to use box file instead of auto	2020-05-14 10:33:56 -07:00
Eddie Hung	48052ad813	abc9: add flop boxes to basic $_DFF_P_ and $_DFF_N_ too	2020-05-14 10:33:56 -07:00
Eddie Hung	8d7b3c06b2	abc9: suppress warnings when no compatible + used flop boxes formed	2020-05-14 10:33:56 -07:00
Eddie Hung	cdd250ef16	xilinx: update abc9_dff tests	2020-05-14 10:33:56 -07:00
Eddie Hung	762b6ad74a	xilinx: remove no-longer-relevant test	2020-05-14 10:33:56 -07:00
Eddie Hung	5bcde7ccc3	Merge pull request #2045 from YosysHQ/eddie/fix2042 ... verilog: error if no direction given for task arguments, default to input in SV mode	2020-05-14 09:45:54 -07:00
Claire Wolf	140e9a8e06	Merge pull request #2050 from YosysHQ/eddie/opt_clean_fixes ... opt_clean: remove (* init *) regardless of -purge, remove (* init *) when consistent with sigmap, clean to behave identically	2020-05-14 18:31:16 +02:00