4456 commits

This branch

This branch

All branches

Author	SHA1	Message	Date
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
Eddie Hung	be061810d7	Merge branch 'clifford/dffsrfix' of https://github.com/YosysHQ/yosys into xaig	2019-02-21 09:31:17 -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
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
Eddie Hung	869343b040	simple_abc9 tests to now preserve memories	2019-02-20 16:19:01 -08:00
Eddie Hung	abc1c2672e	read_aiger to also rename 0 index lut when wideports	2019-02-20 16:17:22 -08:00
Eddie Hung	01f8d50ba2	Remove swap file	2019-02-20 16:17:01 -08:00
Eddie Hung	4035ec8933	Remove simple_defparam tests	2019-02-20 15:45:45 -08:00
Eddie Hung	f89b112fbf	write_aiger: fix CI/CO and symbols	2019-02-20 15:35:32 -08:00
Eddie Hung	43d5471570	Move tests/techmap/abc9 to simple_abc9	2019-02-20 15:34:59 -08:00
Eddie Hung	945bbcc298	Add tests/simple_abc9	2019-02-20 15:31:35 -08:00
Eddie Hung	2ca83005fb	abc9 to cope with multiple modules	2019-02-20 12:56:15 -08:00
Eddie Hung	d6b317b349	abc9 to use & syntax for -fast, and name fixes	2019-02-20 12:40:17 -08:00
Eddie Hung	f9702a8abe	read_aiger: new naming fixes	2019-02-20 12:39:51 -08:00
Eddie Hung	83b66861e9	read_aiger to name wires with internal name, less likely to clash	2019-02-20 11:22:56 -08:00
Eddie Hung	ef60ca1717	write_xaiger to not write latches, CO/PO fixes	2019-02-20 11:09:13 -08:00
Eddie Hung	45ddd9066e	synth to take -abc9 argument	2019-02-20 11:08:49 -08:00
Eddie Hung	62e5ff9ba8	abc9 to cope with indexed wires when creating $lut from $_NOT_	2019-02-19 16:06:03 -08:00
Eddie Hung	ef1a1402bc	Add a quick abc9 test	2019-02-19 15:25:03 -08:00
Eddie Hung	7b026c4bc3	Same for ascii AIGERs too	2019-02-19 15:15:50 -08:00
Eddie Hung	d304882cba	read_aiger to cope with non-unique POs	2019-02-19 15:14:08 -08:00
Eddie Hung	f9af902532	Merge branch 'master' into xaig	2019-02-19 14:20:04 -08:00
Eddie Hung	2a8e5bf953	Merge pull request #805 from eddiehung/dff_init ... write_verilog to write initial statement for initial flop state	2019-02-19 12:32:40 -08:00
Eddie Hung	8158bc3f99	abc9 to replace $_NOT_ with $lut	2019-02-19 12:30:20 -08:00
Eddie Hung	e79df5e70e	read_aiger to create sane $lut names, and rename when renaming driving wire	2019-02-19 12:27:50 -08:00
Eddie Hung	0b1fc46ae3	Add comment	2019-02-19 10:24:55 -08:00
Eddie Hung	54f719f446	Get rid of boost dep, fix the FIXMEs for Win32?	2019-02-19 10:19:53 -08:00
Eddie Hung	11480b4fa3	Instead of INIT param on cells, use initial statement with hier ref as ... per @cliffordwolf	2019-02-17 12:18:12 -08:00
Eddie Hung	3d3353e020	Revert "Add INIT parameter to all ff/latch cells" ... This reverts commit 742b4e01b4.	2019-02-17 12:11:52 -08:00
Eddie Hung	17cd5f759f	Merge https://github.com/YosysHQ/yosys into dff_init	2019-02-17 11:49:06 -08:00
Clifford Wolf	e45f62b0c5	Merge pull request #811 from ucb-bar/firrtlfixes ... Update cells supported for verilog to FIRRTL conversion.	2019-02-17 11:39:14 +01:00
Eddie Hung	45d49d5d14	Get rid of debugging stuff in abc9	2019-02-16 22:25:22 -08:00
Eddie Hung	82459c16c4	In read_xaiger, do not construct ConstEval for every LUT	2019-02-16 22:22:29 -08:00
Eddie Hung	30f1204721	Cleanup	2019-02-16 22:22:17 -08:00
Eddie Hung	f60cd4ff9b	read_aiger to ignore output = input of same wire; also create new output for different wire	2019-02-16 21:53:03 -08:00
Eddie Hung	76c35f80f4	Cleanup	2019-02-16 21:09:48 -08:00
Eddie Hung	6a57de9013	write_xaiger to support non-bit cell connections, and cope with COs for -O	2019-02-16 21:00:39 -08:00
Eddie Hung	f853b2f3c1	abc9 to write_aiger with -O option, and ignore dummy outputs	2019-02-16 20:09:40 -08:00
Eddie Hung	b9a305b85d	write_aiger -O to write dummy output as __dummy_o__	2019-02-16 20:08:59 -08:00
Eddie Hung	d8c4d4e6c7	abc9 to handle comb loops, cope with constant outputs, disconnect using new wire	2019-02-16 13:47:38 -08:00
Eddie Hung	1a25ec4baa	read_aiger to disable log_debug	2019-02-16 13:45:51 -08:00
Eddie Hung	e7c7ab8fc0	expose command to not skip 'internal' wires beginning with '$'	2019-02-16 13:45:17 -08:00