4520 commits

This branch

This branch

All branches

Author	SHA1	Message	Date
Eddie Hung	dfb23a79dd	Uncomment out more tests	2019-02-26 12:18:48 -08:00
Eddie Hung	7cac3b1c8b	abc9 -- multiple connections for inouts	2019-02-26 12:18:28 -08:00
Eddie Hung	8e883d92ed	write_xaiger to behave for undriven/unused inouts	2019-02-26 12:17:51 -08:00
Eddie Hung	da076344cc	parse_xaiger() to really pass single and multi-bit inout tests	2019-02-26 12:04:45 -08:00
Eddie Hung	3ea0161ae7	Add IdString::ends_with()	2019-02-26 12:04:16 -08:00
Eddie Hung	66b5f5166b	Enable two inout tests	2019-02-26 11:39:17 -08:00
Eddie Hung	8f02c846f6	parse_xaiger() to cope with multi bit inouts	2019-02-26 11:37:34 -08:00
Eddie Hung	967297cd57	abc9 cleanup	2019-02-25 18:40:53 -08:00
Eddie Hung	316232a7dd	parse_xaiger() to untransform $inout.out output ports	2019-02-25 18:40:23 -08:00
Eddie Hung	c492a3a1c4	write_xaiger duplicate inout port into out port with $inout.out suffix	2019-02-25 18:39:36 -08:00
Eddie Hung	721f6a14fb	read_aiger to accept empty string for clk_name, passable only if no latches	2019-02-25 15:34:02 -08:00
Eddie Hung	0ca3fd6a1c	abc9 not to clean after aigmap	2019-02-25 15:31:52 -08:00
Eddie Hung	292f80d231	Cleanup abc9 code	2019-02-25 15:20:56 -08:00
Eddie Hung	65c8ccf7b5	Add broken testcases	2019-02-25 15:06:23 -08:00
Eddie Hung	51f28a6747	abc9 to call "clean" once at the end of all abc9_module() calls	2019-02-25 12:55:47 -08:00
Eddie Hung	d56f02d1fc	abc9 to use AIGER symbol table, as opposed to map file	2019-02-21 17:03:40 -08:00
Eddie Hung	5180338e80	write_xaiger to write __dummy_o__ for -symbols too	2019-02-21 17:03:18 -08:00
Eddie Hung	07036b8bf7	read_aiger to work with symbol table	2019-02-21 17:01:07 -08:00
Eddie Hung	2811d66dea	Revert "abc9 to write_xaiger -symbols, not -map" ... This reverts commit 04429f8152.	2019-02-21 14:58:40 -08:00
Eddie Hung	7ad9628f07	Remove irrelevant citations	2019-02-21 14:41:11 -08:00
Eddie Hung	085ed9f487	Add attribution	2019-02-21 14:40:13 -08:00
Eddie Hung	875a02a6f2	abc9 to not select anything extra, and pop selection after final clean	2019-02-21 14:38:52 -08:00
Eddie Hung	04429f8152	abc9 to write_xaiger -symbols, not -map	2019-02-21 14:28:36 -08:00
Eddie Hung	3307295488	Merge branch 'read_aiger' into xaig	2019-02-21 14:27:32 -08:00
Eddie Hung	d3ba1f9719	Merge branch 'read_aiger' of https://github.com/eddiehung/yosys into read_aiger	2019-02-21 14:17:48 -08:00
Eddie Hung	6ccaf250df	Merge branch 'read_aiger' into xaig	2019-02-21 14:14:28 -08:00
Eddie Hung	7f8f36273a	abc9 to use &mfs	2019-02-21 13:16:24 -08:00
Eddie Hung	ca870688c3	Revert "tests/simple to also do LUT synth" ... This reverts commit 5994382a20.	2019-02-21 13:15:45 -08:00
Eddie Hung	a8803a1519	Merge remote-tracking branch 'origin/master' into xaig	2019-02-21 11:23:00 -08:00
Eddie Hung	5994382a20	tests/simple to also do LUT synth	2019-02-21 11:16:57 -08:00
Eddie Hung	107da3becf	Working simple_abc9 tests	2019-02-21 11:16:25 -08:00
Eddie Hung	6b96df41bc	abc9 to only disconnect output ports of AND and NOT gates	2019-02-21 11:15:47 -08:00
Eddie Hung	2f96a0ed32	write_xaiger to use original bit for co, not sigmap()-ed bit	2019-02-21 11:15:25 -08:00
Eddie Hung	c6fd057eda	Add abc9.v testcase to simple_abc9	2019-02-21 10:37:45 -08:00
Clifford Wolf	d55790909c	Hotfix for 4c82ddf ... Signed-off-by: Clifford Wolf <clifford@clifford.at>	2019-02-21 19:27:23 +01:00
Clifford Wolf	3b97b612fe	Merge pull request #822 from litghost/expand_setundef ... Add -params mode to force undef parameters in selected cells.	2019-02-21 19:24:16 +01:00
Keith Rothman	4c82ddf394	Add -params mode to force undef parameters in selected cells. ... Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>	2019-02-21 10:16:38 -08:00
Clifford Wolf	0e371109b0	Merge pull request #818 from YosysHQ/clifford/dffsrfix ... Fix opt_rmdff handling of $_DFFSR_???_ and $_DLATCHSR_???_, fixes #816	2019-02-21 18:58:44 +01:00
Clifford Wolf	03aa3541ae	Merge pull request #786 from YosysHQ/pmgen ... Pattern Matcher Generator and iCE40 DSP Mapper	2019-02-21 18:56:01 +01:00
Clifford Wolf	893194689d	Fix typo in passes/pmgen/README.md ... Signed-off-by: Clifford Wolf <clifford@clifford.at>	2019-02-21 18:50:02 +01:00
Clifford Wolf	310b0a0ffa	Merge pull request #821 from eddiehung/dff_init ... Revert "Add -B option to autotest.sh to append to backend_opts"	2019-02-21 18:46:58 +01:00
Eddie Hung	be061810d7	Merge branch 'clifford/dffsrfix' of https://github.com/YosysHQ/yosys into xaig	2019-02-21 09:31:17 -08:00
Eddie Hung	8e789da74c	Revert "Add -B option to autotest.sh to append to backend_opts" ... This reverts commit 281f2aadca.	2019-02-21 09:22:29 -08:00
Clifford Wolf	2da4c9c8f0	Fix opt_rmdff handling of $_DFFSR_???_ and $_DLATCHSR_???_, fixes #816 ... Signed-off-by: Clifford Wolf <clifford@clifford.at>	2019-02-21 13:49:45 +01:00
Clifford Wolf	2fe1c830eb	Bugfix in ice40_dsp ... Signed-off-by: Clifford Wolf <clifford@clifford.at>	2019-02-21 13:28:46 +01:00
Eddie Hung	7f26043caf	ABC -> ABC9	2019-02-20 17:36:57 -08:00
Eddie Hung	e5b8bb9faa	abc9 to disconnect mapped_mods POs correctly, and do not count $_NOT_	2019-02-20 17:33:35 -08:00
Eddie Hung	9e299a0908	read_aiger to not do -purge for clean	2019-02-20 17:33:04 -08:00
Eddie Hung	31fea5eb33	Merge pull request #817 from eddiehung/dff_init ... Cleanup #805	2019-02-20 17:26:56 -08:00
Eddie Hung	32853b1f8d	lut/not/and suffix to be ${lut,not,and}	2019-02-20 16:30:30 -08:00