115 commits

Author	SHA1	Message	Date
Eddie Hung	588196c473	Add log_push()/log_pop() inside write_xaiger	2019-06-21 17:16:38 -07:00
Eddie Hung	6a0fb3035e	Replace assert with error message	2019-06-21 15:45:51 -07:00
Eddie Hung	e581a3e6f4	One more workaround for gcc-4.8	2019-06-21 14:35:58 -07:00
Eddie Hung	8f59afd62d	Revert "Stab in the dark with aig_map from dict -> std::map" ... This reverts commit 70ee10b650.	2019-06-21 13:47:07 -07:00
Eddie Hung	ea154d5ff4	No point logging constant bit	2019-06-21 12:46:55 -07:00
Eddie Hung	950bb4c242	Move comment	2019-06-21 12:43:20 -07:00
Eddie Hung	70ee10b650	Stab in the dark with aig_map from dict -> std::map	2019-06-21 12:41:47 -07:00
Eddie Hung	531d36336d	Fix spacing	2019-06-20 22:29:40 -07:00
Eddie Hung	a9ce9193a1	Refactor bit2aig for less lookups	2019-06-20 22:09:13 -07:00
Eddie Hung	eb13663698	Fix gcc invalidation behaviour for write_aiger	2019-06-20 21:56:02 -07:00
Eddie Hung	d2076aa659	Fix gcc error, due to dict invalidation during recursion	2019-06-20 21:55:08 -07:00
Eddie Hung	b810bf26ab	write_xaiger to flatten 1'bx/1'bz to 1'b0 again	2019-06-20 19:40:17 -07:00
Eddie Hung	494610911a	Fix different abc9 test	2019-06-20 19:31:22 -07:00
Eddie Hung	c421d48d6d	Fix broken abc9.v test due to inout being 1'bx	2019-06-20 19:27:00 -07:00
Eddie Hung	0e3e647596	Handle COs driven by 1'bx	2019-06-20 10:47:20 -07:00
Eddie Hung	efdb057c6a	write_xaiger to skip POs driven by 1'bx	2019-06-20 10:21:57 -07:00
Eddie Hung	f374e0ab7e	Merge remote-tracking branch 'origin/master' into xc7mux	2019-06-20 10:18:01 -07:00
Ben Widawsky	4a18e19fb8	Support filename rewrite in backends ... Signed-off-by: Ben Widawsky <ben@bwidawsk.net>	2019-06-18 14:39:52 -07:00
Eddie Hung	fb90d8c18c	Cleanup	2019-06-16 09:34:26 -07:00
Eddie Hung	7ff8330d1e	Leave breadcrumb behind	2019-06-14 13:34:40 -07:00
Eddie Hung	46e69ee934	Remove redundant condition	2019-06-14 13:31:18 -07:00
Eddie Hung	9b55e69755	Revert "Cleanup/optimise toposort in write_xaiger" ... This reverts commit 1948e7c846. Restores old toposort with optimisations	2019-06-14 13:29:36 -07:00
Eddie Hung	746f70a9ce	Update comment	2019-06-14 13:10:46 -07:00
Eddie Hung	0fa6a441f1	Check that whiteboxes are synthesisable	2019-06-14 13:08:38 -07:00
Eddie Hung	2d85725604	Get rid of compiler warnings	2019-06-14 13:07:56 -07:00
Eddie Hung	7876b5b8be	Cover __APPLE__ too for little to big endian	2019-06-14 12:40:51 -07:00
Eddie Hung	a48b5bfaa5	Further cleanup based on @daveshah1	2019-06-14 12:25:06 -07:00
Eddie Hung	97d2656375	Resolve comments from @daveshah1	2019-06-14 12:00:02 -07:00
Eddie Hung	ee428f73ab	Remove WIP ABC9 flop support	2019-06-14 10:37:52 -07:00
Eddie Hung	1656c44373	Cleanup	2019-06-14 10:29:27 -07:00
Eddie Hung	751e640c1d	Merge branch 'xaig' of github.com:YosysHQ/yosys into xaig	2019-06-14 10:29:16 -07:00
Eddie Hung	1948e7c846	Cleanup/optimise toposort in write_xaiger	2019-06-14 10:13:17 -07:00
David Shah	9566573054	ecp5: Add abc9 option ... Signed-off-by: David Shah <dave@ds0.me>	2019-06-14 17:15:02 +01:00
Eddie Hung	8374eb1cb4	Remove unnecessary undriven_bits.insert	2019-06-12 15:55:02 -07:00
Eddie Hung	fb2758aade	write_xaiger to preserve POs even if driven by constant	2019-06-12 15:44:30 -07:00
Eddie Hung	2e7b3eee40	Add a couple more tests	2019-06-12 15:43:43 -07:00
Eddie Hung	14e870d4c4	More write_xaiger cleanup	2019-06-12 10:00:57 -07:00
Eddie Hung	4be417f6e1	Cleanup write_xaiger	2019-06-12 09:53:14 -07:00
Eddie Hung	b21d29598a	Consistency	2019-06-12 09:40:51 -07:00
Eddie Hung	7b186740d3	Add log_assert to ensure no loops	2019-06-04 12:01:25 -07:00
Eddie Hung	1b836c93bb	Only toposort builtin and abc types	2019-06-04 11:56:58 -07:00
Eddie Hung	257f7ff5f6	When creating new holes cell, inherit parameters too	2019-06-03 12:30:54 -07:00
Eddie Hung	4623177655	ABC9 to understand flops	2019-05-31 15:23:33 -07:00
Eddie Hung	eb08e71bd1	Merge branch 'xaig' into xc7mux	2019-05-31 13:03:03 -07:00
Eddie Hung	887c31f33b	Fix issue where keep signal became PI, but also box was adding CI driver	2019-05-30 16:03:22 -07:00
Eddie Hung	e3c8132d7a	Do not re-sort box_module ports	2019-05-30 12:26:51 -07:00
Eddie Hung	fdfc18be91	Carry in/out to be the last input/output for chains to be preserved	2019-05-30 01:23:36 -07:00
Eddie Hung	1423384367	Fix abc_test024	2019-05-29 15:24:09 -07:00
Eddie Hung	b4321a31bb	Fix for abc9_test022	2019-05-28 12:42:17 -07:00
Eddie Hung	13e233217c	Small improvement	2019-05-28 11:29:59 -07:00