2939 commits

Author	SHA1	Message	Date
Eddie Hung	01f9aabc2f	opt_expr: extend to $xnor and $_XNOR_	2020-03-19 16:56:39 -07:00
Eddie Hung	ee5995641e	opt_expr: optimise 1-bit $xor or $_XOR_ with constant input	2020-03-19 16:33:54 -07:00
N. Engelhardt	6986371bac	Merge pull request #1751 from boqwxp/add_assert ... Extend `add` command to allow adding $assert cells.	2020-03-12 11:18:35 +01:00
Eddie Hung	dd8ebf7873	Merge pull request #1743 from YosysHQ/eddie/abc9_keep ... abc9: improve (* keep *) handling	2020-03-11 06:32:15 -07:00
Alberto Gonzalez	005dd601ab	Extend add command to allow adding cells for verification like $assert, $assume, etc.	2020-03-10 21:49:22 +00:00
David Shah	f2550d45ff	Merge pull request #1753 from YosysHQ/dave/abc9-speedup ... Add ScriptPass::run_nocheck and use for abc9	2020-03-10 13:51:59 +00:00
David Shah	ddcd87b577	Merge pull request #1721 from YosysHQ/dave/tribuf-unused ... deminout: Don't demote inouts with unused bits	2020-03-10 13:51:40 +00:00
Alberto Gonzalez	47537f2e42	Clean up passes/cmds/add.cc code style.	2020-03-10 10:37:10 +00:00
David Shah	b8abf14376	Add ScriptPass::run_nocheck and use for abc9 ... Signed-off-by: David Shah <dave@ds0.me>	2020-03-09 14:34:22 +00:00
Eddie Hung	80dcc8a0d1	abc9: for sccs, create a new wire instead of using entirety of existing	2020-03-06 10:30:07 -08:00
Eddie Hung	91a7a74ac4	abc9: (* keep *) wires to be PO only, not PI as well; fix scc handling	2020-03-06 10:20:30 -08:00
Eddie Hung	2335c59e5b	abc: add abc.debug scratchpad option	2020-03-06 10:09:01 -08:00
David Shah	5cae9c6e16	deminout: Don't demote inouts with unused bits ... Signed-off-by: David Shah <dave@ds0.me>	2020-03-04 18:44:38 +00:00
Claire Wolf	879124333f	Merge pull request #1519 from YosysHQ/eddie/submod_po ... submod: several bugfixes	2020-03-03 08:19:06 -08:00
Marcelina Kościelnicka	968956badb	iopadmap: Look harder for already-present buffers. (#1731) ... iopadmap: Look harder for already-present buffers. Fixes #1720.	2020-03-02 21:40:09 +01:00
Eddie Hung	4f889b2f57	Merge pull request #1724 from YosysHQ/eddie/abc9_specify ... abc9: auto-generate *.lut/*.box files and arrival/required times from specify entries	2020-03-02 12:32:27 -08:00
Eddie Hung	de3e5fcdc6	ystests: fix write_smt2_write_smt2_cyclic_dependency_fail	2020-02-28 12:33:55 -08:00
Eddie Hung	78929e8c3d	Fixes for older compilers	2020-02-27 10:17:29 -08:00
Eddie Hung	88d5997c80	abc9_ops: suppress -prep_box warning for abc9_flop	2020-02-27 10:17:29 -08:00
Eddie Hung	6bb3d9f9c0	Make TimingInfo::TimingInfo(SigBit) constructor explicit	2020-02-27 10:17:29 -08:00
Eddie Hung	9dcf204dec	TimingInfo: index by (port_name,offset)	2020-02-27 10:17:29 -08:00
Eddie Hung	7c3b4b80ea	Fix spacing	2020-02-27 10:17:29 -08:00
Eddie Hung	d6cff77751	abc9_ops: still emit delay table even box has no timing	2020-02-27 10:17:29 -08:00
Eddie Hung	683c5ce940	abc9_ops: demote lack of box timing info to warning	2020-02-27 10:17:29 -08:00
Eddie Hung	1ef1ca812b	Get rid of (* abc9_{arrival,required} *) entirely	2020-02-27 10:17:29 -08:00
Eddie Hung	a6fec9fe60	abc9_ops: use TimingInfo for -prep_{lut,box} too	2020-02-27 10:17:29 -08:00
Eddie Hung	3ea5506f81	abc9_ops: use TimingInfo for -prep_{lut,box} too	2020-02-27 10:17:29 -08:00
Eddie Hung	cda4acb544	abc9_ops: add and use new TimingInfo struct	2020-02-27 10:17:29 -08:00
Eddie Hung	e22fee6cdd	abc9_ops: ignore (* abc9_flop *) if not '-dff'	2020-02-27 10:17:29 -08:00
Eddie Hung	7c92b6852f	abc9_ops: sort LUT delays to be ascending	2020-02-27 10:17:29 -08:00
Eddie Hung	7317521c6f	abc9_ops: output LUT area	2020-02-27 10:17:29 -08:00
Eddie Hung	0ed550d83c	abc9_ops: cope with T_LIMIT{,2}_{MIN,TYP,MAX} and auto-gen small LUTs	2020-02-27 10:17:29 -08:00
Eddie Hung	12d70ca8fb	xilinx: improve specify functionality	2020-02-27 10:17:29 -08:00
Eddie Hung	577545488a	xilinx: use specify blocks in place of abc9_{arrival,required}	2020-02-27 10:17:29 -08:00
Eddie Hung	0e7c55e2a7	Auto-generate .box/.lut files from specify blocks	2020-02-27 10:17:29 -08:00
Eddie Hung	3d6603792d	abc9_ops: assert on $specify2 properties	2020-02-27 10:17:29 -08:00
Eddie Hung	74f49b1f55	abc9_ops: -prep_box, to be called once	2020-02-27 10:17:29 -08:00
Eddie Hung	5643c1b8c5	abc9_ops: -prep_lut and -write_lut to auto-generate LUT library	2020-02-27 10:17:29 -08:00
Claire Wolf	ab8826ae36	Merge pull request #1709 from rqou/coolrunner2_counter ... Improve CoolRunner-II optimization by using extract_counter pass	2020-02-27 19:05:56 +01:00
Miodrag Milanović	036c46de1e	Merge pull request #1705 from YosysHQ/logger_pass ... Logger pass	2020-02-26 13:32:49 +01:00
Miodrag Milanovic	48eed2860c	Fix line endings	2020-02-23 10:05:21 +01:00
Miodrag Milanovic	010d651450	Update explanation for expect-no-warnings	2020-02-22 10:53:23 +01:00
Miodrag Milanovic	596bb2d443	Check other regex parameters	2020-02-22 10:31:56 +01:00
Alberto Gonzalez	750e7a9a54	Closes #1714. Fix make failure when NDEBUG=1.	2020-02-22 06:29:11 +00:00
Eddie Hung	760096e8d2	Merge pull request #1703 from YosysHQ/eddie/specify_improve ... Improve specify parser	2020-02-21 09:15:17 -08:00
Miodrag Milanovic	419e67c170	check for regex errors	2020-02-20 11:41:37 +01:00
Eddie Hung	1d401a7991	clean: ignore specify-s inside cells when determining whether to keep	2020-02-19 10:45:10 -08:00
Miodrag Milanovic	5641b0248f	Option to expect no warnings	2020-02-17 15:36:06 +01:00
R. Ou	fec7dc5c9e	extract_counter: Implement extracting up counters	2020-02-17 03:08:52 -08:00
R. Ou	940bab6841	extract_counter: Add support for inverted clock enable	2020-02-17 03:08:52 -08:00