98 commits

Author	SHA1	Message	Date
Eddie Hung	5a46a0b385	Fine tune aigerparse	2019-06-07 16:57:32 -07:00
Eddie Hung	1e201a9b01	Merge remote-tracking branch 'origin/master' into xc7mux	2019-06-07 16:15:19 -07:00
Eddie Hung	2b350401c4	Fix spacing from spaces to tabs	2019-06-07 15:44:57 -07:00
Eddie Hung	6934f4bdd5	Fix spacing (entire file is wrong anyway, will fix later)	2019-06-07 11:30:36 -07:00
Eddie Hung	d00ae1d6a8	Remove unnecessary std::getline() for ASCII	2019-06-07 11:28:25 -07:00
Eddie Hung	a04521c6b7	Fix read_aiger -- create zero driver, fix init width, parse 'b'	2019-06-07 11:07:15 -07:00
Eddie Hung	d018cd9fe3	Assert that box_unique_id is indeed unique	2019-06-03 12:33:47 -07:00
Eddie Hung	a54822b1bc	Skip internal modules when generating box_unique_id	2019-06-03 12:31:23 -07:00
Eddie Hung	e3d160a9ca	parse_xaiger to cope with flops	2019-05-31 18:06:36 -07:00
Eddie Hung	eb08e71bd1	Merge branch 'xaig' into xc7mux	2019-05-31 13:03:03 -07:00
Eddie Hung	a41553a861	read_xaiger() to name box signals	2019-05-30 16:02:40 -07:00
Eddie Hung	c6fa4faa37	Remove whitespace	2019-05-30 12:25:21 -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	f745727de5	read_aiger to only clean own design	2019-05-28 08:45:10 -07:00
Eddie Hung	3eec100748	Parse "a" extension and boxes from map file	2019-05-27 23:11:21 -07:00
Eddie Hung	428d7c8e11	Remove unused function	2019-05-27 13:49:42 -07:00
Eddie Hung	e115e736fa	parse_xaiger to not parse symbol table	2019-05-27 12:34:17 -07:00
Eddie Hung	234156c01a	Instantiate cell type (from sym file) otherwise 'clean' warnings	2019-05-27 12:16:10 -07:00
Eddie Hung	03b289a851	Add 'cinput' and 'coutput' to symbols file for boxes	2019-05-27 11:38:52 -07:00
Eddie Hung	68359bcd6f	Merge remote-tracking branch 'origin/eddie/opt_rmdff' into xc7mux	2019-05-23 13:37:53 -07:00
Eddie Hung	7057753427	Rename label	2019-05-21 18:20:31 -07:00
Eddie Hung	b5a29460b9	Try again	2019-05-21 17:20:19 -07:00
Eddie Hung	1bff09f2ff	Fix warning	2019-05-21 16:26:20 -07:00
Eddie Hung	9d122d3c51	Refactor into AigerReader::post_process()	2019-04-23 15:06:19 -07:00
Eddie Hung	d9c915042a	Move clean from aigerparse to abc9	2019-04-23 13:42:35 -07:00
Eddie Hung	5f30a8795d	Tidy up	2019-04-22 17:47:05 -07:00
Eddie Hung	8f30019b68	Revert "Temporarily remove 'r' extension" ... This reverts commit eaf3c24772.	2019-04-22 17:41:21 -07:00
Eddie Hung	eaf3c24772	Temporarily remove 'r' extension	2019-04-22 11:54:19 -07:00
Eddie Hung	4883391b63	Merge remote-tracking branch 'origin/master' into xaig	2019-04-22 11:19:52 -07:00
Clifford Wolf	e158ea2097	Add log_debug() framework ... Signed-off-by: Clifford Wolf <clifford@clifford.at>	2019-04-22 17:25:52 +02:00
Eddie Hung	21701cc1df	read_aiger to parse 'r' extension	2019-04-18 17:39:36 -07:00
Eddie Hung	e1b550d203	Ignore a/i/o/h XAIGER extensions	2019-04-17 10:55:23 -07:00
Eddie Hung	fecafb2207	Forgot backslashes	2019-04-12 18:22:44 -07:00
Eddie Hung	9bfcd80063	Handle __dummy_o__ and __const[01]__ in read_aiger not abc	2019-04-12 18:21:16 -07:00
Eddie Hung	c776db3320	Merge branch 'xaig' of github.com:YosysHQ/yosys into xaig	2019-04-12 17:09:24 -07:00
Eddie Hung	acf3f5694b	Fix inout handling for -map option	2019-04-12 17:02:24 -07:00
Eddie Hung	ada130b459	Also cope with duplicated CIs	2019-04-12 16:17:12 -07:00
Eddie Hung	1c6f0cffd9	Cope with an output having same name as an input (i.e. CO)	2019-04-12 12:27:07 -07:00
Eddie Hung	1a49cf29d8	parse_aiger() to rename all $lut cells after "clean"	2019-04-10 14:02:23 -07:00
Eddie Hung	36efec01b8	Fix spacing	2019-04-08 16:37:22 -07:00
Eddie Hung	bca3cf6843	Merge branch 'master' into xaig	2019-04-08 16:31:59 -07:00
Eddie Hung	3e89cf68bd	Add author name	2019-03-19 08:52:06 -07: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	8f02c846f6	parse_xaiger() to cope with multi bit inouts	2019-02-26 11:37:34 -08:00
Eddie Hung	316232a7dd	parse_xaiger() to untransform $inout.out output ports	2019-02-25 18:40:23 -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	07036b8bf7	read_aiger to work with symbol table	2019-02-21 17:01:07 -08:00
Eddie Hung	085ed9f487	Add attribution	2019-02-21 14:40:13 -08:00
Eddie Hung	3307295488	Merge branch 'read_aiger' into xaig	2019-02-21 14:27:32 -08:00
Eddie Hung	9e299a0908	read_aiger to not do -purge for clean	2019-02-20 17:33:04 -08:00