154 commits

Author	SHA1	Message	Date
Eddie Hung	96db05aaef	parse_xaiger to not take box_lookup	2019-12-31 17:06:03 -08:00
Eddie Hung	e5ed8e8e21	parse_xaiger to reorder ports too	2019-12-31 16:50:22 -08:00
Eddie Hung	a6fdb9f5c1	aiger frontend to user shorter, $-prefixed, names	2019-12-17 15:50:01 -08:00
Eddie Hung	5f50e4f112	Cleanup xaiger, remove unnecessary complexity with inout	2019-12-17 15:45:26 -08:00
Eddie Hung	0875a07871	read_xaiger to cope with optional '\n' after 'c'	2019-12-17 15:45:26 -08:00
Eddie Hung	c0339bbbf1	Name inputs/outputs of aiger 'i%d' and 'o%d'	2019-12-13 16:21:09 -08:00
Eddie Hung	ab667d3d47	Call abc9 with "&write -n", and parse_xaiger() to cope	2019-12-06 16:35:57 -08:00
Eddie Hung	69d8c1386a	Do not connect undriven POs to 1'bx	2019-12-06 16:21:06 -08:00
Eddie Hung	a576747483	Consistent log message, ignore 's' extension	2019-11-20 15:40:46 -08:00
Eddie Hung	7959e9d6b2	Fix merge issues	2019-10-04 17:21:14 -07:00
Eddie Hung	7a45cd5856	Merge remote-tracking branch 'origin/eddie/abc_to_abc9' into xaig_dff	2019-10-04 16:58:55 -07:00
Eddie Hung	aae2b9fd9c	Rename abc_* names/attributes to more precisely be abc9_*	2019-10-04 11:04:10 -07:00
Eddie Hung	f9bb335294	Cleanup $currQ from aigerparse	2019-09-30 16:36:42 -07:00
Eddie Hung	8684b58bed	Merge remote-tracking branch 'origin/master' into xaig_dff	2019-09-30 12:29:35 -07:00
Miodrag Milanović	0d27ffd4e6	Merge pull request #1416 from YosysHQ/mmicko/frontend_binary_in ... Open aig frontend as binary file	2019-09-30 17:49:23 +02:00
Eddie Hung	1123c09588	Merge remote-tracking branch 'origin/master' into xaig_dff	2019-09-29 19:39:12 -07:00
Miodrag Milanovic	9e55b234b4	Fix reading aig files on windows	2019-09-29 15:40:37 +02:00
Miodrag Milanovic	3f70c1fd26	Open aig frontend as binary file	2019-09-29 13:22:11 +02:00
Eddie Hung	79b6edb639	Big rework; flop info now mostly in cells_sim.v	2019-09-28 23:48:17 -07:00
Eddie Hung	c340fbfab2	Force $inout.out ports to begin with '$' to indicate internal	2019-09-23 21:58:04 -07:00
Eddie Hung	b66c99ece0	Merge pull request #1355 from YosysHQ/eddie/peepopt_dffmuxext ... peepopt_dffmux -- bit optimisations for word level $dff + (enable/reset) $mux cells	2019-09-18 12:40:08 -07:00
Eddie Hung	38e73a3788	Merge remote-tracking branch 'origin/eddie/peepopt_dffmuxext' into xc7dsp	2019-09-05 13:01:34 -07:00
Eddie Hung	d3eea82bc2	Revert "parse_xaiger() to do "clean -purge"" ... This reverts commit 5d16bf8316.	2019-09-04 15:21:39 -07:00
Eddie Hung	c7f1ccbcb0	Merge remote-tracking branch 'origin/master' into xaig_arrival	2019-08-30 12:28:35 -07:00
Eddie Hung	5d16bf8316	parse_xaiger() to do "clean -purge"	2019-08-29 17:24:25 -07:00
Eddie Hung	f1a206ba03	Revert "Remove sequential extension" ... This reverts commit 091bf4a18b.	2019-08-20 18:17:14 -07:00
Eddie Hung	091bf4a18b	Remove sequential extension	2019-08-20 18:16:37 -07:00
Eddie Hung	be9e4f1b67	Use abc_{map,unmap,model}.v	2019-08-20 12:39:11 -07:00
Eddie Hung	3f4886e7a3	Fix typo	2019-08-19 10:42:00 -07:00
Eddie Hung	2f4e0a5388	Merge remote-tracking branch 'origin/master' into xaig_dff	2019-08-19 10:07:27 -07:00
Eddie Hung	9bfe924e17	Set abc_flop and use it in toposort	2019-08-19 09:40:01 -07:00
Eddie Hung	24c934f1af	Merge branch 'eddie/abc9_refactor' into xaig_dff	2019-08-16 16:51:22 -07:00
Eddie Hung	6b156beda1	Remove unused variable	2019-08-16 13:35:39 -07:00
Clifford Wolf	0c5db07cd6	Fix various NDEBUG compiler warnings, closes #1255 ... Signed-off-by: Clifford Wolf <clifford@clifford.at>	2019-08-13 13:29:03 +02:00
Clifford Wolf	f54bf1631f	Merge pull request #1258 from YosysHQ/eddie/cleanup ... Cleanup a few barnacles across codebase	2019-08-10 09:52:14 +02:00
Eddie Hung	446dcb3ed3	Add __STDC_FORMAT_MACROS before <inttypes.h> as per @mithro	2019-08-09 09:17:35 -07:00
Eddie Hung	03ec8d6551	Run "clean" on mapped_mod in its own design	2019-08-07 09:54:27 -07:00
Eddie Hung	a6bc9265fb	RTLIL::S{0,1} -> State::S{0,1}	2019-08-06 16:23:37 -07:00
Miodrag Milanovic	28b7053a01	Fix formatting for msys2 mingw build using GetSize	2019-08-01 17:27:34 +02:00
William D. Jones	da5d64d71e	Fix missing semicolon in Windows-specific code in aigerparse.cc. ... Signed-off-by: William D. Jones <thor0505@comcast.net>	2019-07-14 13:52:27 -04:00
Eddie Hung	a314565ad4	Short out async box	2019-07-11 10:52:45 -07:00
Eddie Hung	bd198aa803	Missing debug message	2019-07-11 10:07:14 -07:00
Eddie Hung	f8f0ffe786	Small opt	2019-07-10 18:56:50 -07:00
Eddie Hung	4a995c5d80	Change how to specify flops to ABC again	2019-07-10 17:54:56 -07:00
Eddie Hung	a092c48f03	Use split_tokens()	2019-07-10 17:34:51 -07:00
Eddie Hung	a31e17182d	Refactor and cope with new abc_flop format	2019-07-01 11:50:34 -07:00
Eddie Hung	ac5f3d500d	Fix spacing	2019-07-01 11:10:44 -07:00
Eddie Hung	699d8e3939	Merge remote-tracking branch 'origin/master' into xaig_dff	2019-07-01 10:44:42 -07:00
Eddie Hung	b3f162e94e	Replace log_assert() with meaningful log_error()	2019-06-28 12:54:44 -07:00
Eddie Hung	9398921af1	Refactor for one "abc_carry" attribute on module	2019-06-27 16:07:14 -07:00