| 
								
								
									 Clifford Wolf | e06d158e8a | Fix some typos Signed-off-by: Clifford Wolf <clifford@clifford.at> | 2019-04-20 01:18:07 +02:00 |  | 
				
					
						| 
								
								
									 Clifford Wolf | 37728520a6 | Improvements in "pmux2shiftx" Signed-off-by: Clifford Wolf <clifford@clifford.at> | 2019-04-20 01:15:48 +02:00 |  | 
				
					
						| 
								
								
									 Clifford Wolf | 0070184ea9 | Improvements in pmux2shiftx Signed-off-by: Clifford Wolf <clifford@clifford.at> | 2019-04-20 00:38:25 +02:00 |  | 
				
					
						| 
								
								
									 Clifford Wolf | 177878cbb0 | Improve pmux2shift ctrl permutation finder Signed-off-by: Clifford Wolf <clifford@clifford.at> | 2019-04-20 00:38:25 +02:00 |  | 
				
					
						| 
								
								
									 Clifford Wolf | 481f0015be | Complete rewrite of pmux2shiftx Signed-off-by: Clifford Wolf <clifford@clifford.at> | 2019-04-20 00:38:25 +02:00 |  | 
				
					
						| 
								
								
									 Clifford Wolf | 1bf8c2b823 | Import initial pmux2shiftx from eddieh Signed-off-by: Clifford Wolf <clifford@clifford.at> | 2019-04-20 00:38:25 +02:00 |  | 
				
					
						| 
								
								
									 Clifford Wolf | eafc4bd49f | Improve "show" handling of 0/1/X/Z padding Signed-off-by: Clifford Wolf <clifford@clifford.at> | 2019-04-20 00:37:43 +02:00 |  | 
				
					
						| 
								
								
									 Eddie Hung | 9dec3d9978 | Spelling fixes | 2019-04-19 14:00:22 +02:00 |  | 
				
					
						| 
								
								
									 Eddie Hung | 290a798cec | Ignore 'whitebox' attr in flatten with "-wb" option | 2019-04-18 10:32:00 -07:00 |  | 
				
					
						| 
								
								
									 Eddie Hung | c997a77014 | Ignore 'whitebox' attr in flatten with "-wb" option | 2019-04-18 10:19:45 -07:00 |  | 
				
					
						| 
								
								
									 Eddie Hung | 070a2d2fd6 | Fix abc's remap_name to not ignore [^0-9] when extracting sid | 2019-04-18 09:55:03 -07:00 |  | 
				
					
						| 
								
								
									 Eddie Hung | 8fe0a961b3 | Merge remote-tracking branch 'origin/clifford/whitebox' into xaig | 2019-04-18 09:00:06 -07:00 |  | 
				
					
						| 
								
								
									 Eddie Hung | 9aa94370a5 | ABC to call retime all the time | 2019-04-18 08:46:41 -07:00 |  | 
				
					
						| 
								
								
									 Clifford Wolf | f4abc21d8a | Add "whitebox" attribute, add "read_verilog -wb" Signed-off-by: Clifford Wolf <clifford@clifford.at> | 2019-04-18 17:45:47 +02:00 |  | 
				
					
						| 
								
								
									 Eddie Hung | 0642baabbc | Merge branch 'master' into eddie/fix_retime | 2019-04-18 07:57:17 -07:00 |  | 
				
					
						| 
								
								
									 Clifford Wolf | 88be1cbfa5 | Improve proc full_case detection and handling, fixes #931 Signed-off-by: Clifford Wolf <clifford@clifford.at> | 2019-04-18 15:13:47 +02:00 |  | 
				
					
						| 
								
								
									 Eddie Hung | a20ed260e1 | Skip if abc_box_id earlier | 2019-04-17 16:36:03 -07:00 |  | 
				
					
						| 
								
								
									 Eddie Hung | 709f76c107 | Remove use of abc_box_id in stat | 2019-04-17 16:35:27 -07:00 |  | 
				
					
						| 
								
								
									 Eddie Hung | abcd3103ff | Do not print slack histogram | 2019-04-17 15:11:14 -07:00 |  | 
				
					
						| 
								
								
									 Eddie Hung | fd89c1056e | Working ABC9 script | 2019-04-17 12:33:32 -07:00 |  | 
				
					
						| 
								
								
									 Eddie Hung | ae2653c50f | abc9 to output some more info | 2019-04-16 16:39:16 -07:00 |  | 
				
					
						| 
								
								
									 Eddie Hung | b015ed48f7 | Merge remote-tracking branch 'origin/master' into xaig | 2019-04-16 15:04:20 -07:00 |  | 
				
					
						| 
								
								
									 Eddie Hung | 55a3638c71 | Port from xc7mux branch | 2019-04-16 15:01:45 -07:00 |  | 
				
					
						| 
								
								
									 Eddie Hung | fc5fda595d | Merge branch 'xaig' into xc7mux | 2019-04-16 13:15:53 -07:00 |  | 
				
					
						| 
								
								
									 Eddie Hung | afcb86c3d1 | abc9 to call "setundef -zero" behaving as for abc | 2019-04-16 13:10:13 -07:00 |  | 
				
					
						| 
								
								
									 Eddie Hung | 98c297fabf | ABC to read_box before reading netlist | 2019-04-16 12:44:10 -07:00 |  | 
				
					
						| 
								
								
									 Eddie Hung | b89bb74452 | For 'stat' do not count modules with abc_box_id | 2019-04-16 11:19:54 -07:00 |  | 
				
					
						| 
								
								
									 Eddie Hung | a2b106135b | Do not call abc on modules with abc_box_id attr | 2019-04-16 11:19:42 -07:00 |  | 
				
					
						| 
								
								
									 Eddie Hung | 4da4a6da2f | Revert #895 | 2019-04-16 11:07:51 -07:00 |  | 
				
					
						| 
								
								
									 Eddie Hung | 538592067e | Merge branch 'xaig' into xc7mux | 2019-04-15 22:04:20 -07:00 |  | 
				
					
						| 
								
								
									 Eddie Hung | 0391499e46 | Merge remote-tracking branch 'origin/master' into xaig | 2019-04-15 21:56:45 -07:00 |  | 
				
					
						| 
								
								
									 Eddie Hung | b3378745fd | Revert "Recognise default entry in case even if all cases covered (fix for #931)" | 2019-04-15 17:52:45 -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 | 482a60825b | abc to ignore __dummy_o__ and __const[01]__ when re-integrating | 2019-04-12 18:16:50 -07:00 |  | 
				
					
						| 
								
								
									 Eddie Hung | 88d43a519b | Use -map instead of -symbols for aiger | 2019-04-12 16:29:14 -07:00 |  | 
				
					
						| 
								
								
									 Eddie Hung | 941365b4bb | Comment out | 2019-04-12 12:29:04 -07:00 |  | 
				
					
						| 
								
								
									 Eddie Hung | 04e466d5e4 | Add support for synth_xilinx -abc9 and ignore abc9 -dress opt | 2019-04-12 12:28:37 -07:00 |  | 
				
					
						| 
								
								
									 Eddie Hung | f77da46a87 | Merge remote-tracking branch 'origin/master' into xaig | 2019-04-12 12:21:48 -07:00 |  | 
				
					
						| 
								
								
									 Eddie Hung | 3c1f1a6605 | Fix ordering of when to insert zero index | 2019-04-11 16:25:59 -07:00 |  | 
				
					
						| 
								
								
									 Eddie Hung | 53513c52df | Merge remote-tracking branch 'origin/pmux2shiftx' into xc7mux | 2019-04-11 16:21:01 -07:00 |  | 
				
					
						| 
								
								
									 Eddie Hung | f587950bde | More unused | 2019-04-11 16:20:43 -07:00 |  | 
				
					
						| 
								
								
									 Eddie Hung | 35181a7866 | Merge remote-tracking branch 'origin/pmux2shiftx' into xc7mux | 2019-04-11 16:18:45 -07:00 |  | 
				
					
						| 
								
								
									 Eddie Hung | b15b410b41 | Remove unused | 2019-04-11 16:18:01 -07:00 |  | 
				
					
						| 
								
								
									 Eddie Hung | b1f1db2fcf | Fixes | 2019-04-11 16:17:09 -07:00 |  | 
				
					
						| 
								
								
									 Eddie Hung | e8c26f2839 | WIP | 2019-04-11 15:52:04 -07:00 |  | 
				
					
						| 
								
								
									 Eddie Hung | 09e7eb7aed | Spelling fixes | 2019-04-11 15:09:13 -07:00 |  | 
				
					
						| 
								
								
									 Eddie Hung | adc6efb584 | Recognise default entry in case even if all cases covered (#931) | 2019-04-11 12:34:51 -07:00 |  | 
				
					
						| 
								
								
									 Eddie Hung | 5f4024ffd2 | Revert "abc -dff now implies "-D 0" otherwise retiming doesn't happen" This reverts commit 19271bd996. | 2019-04-10 08:31:40 -07:00 |  | 
				
					
						| 
								
								
									 Eddie Hung | 78d35a86c0 | Revert ""&nf -D 0" fails => use "-D 1" instead" This reverts commit 3c253818ca. | 2019-04-10 08:31:35 -07:00 |  | 
				
					
						| 
								
								
									 Eddie Hung | c89cd48f58 | Merge remote-tracking branch 'origin/master' into eddie/fix_retime | 2019-04-10 08:23:00 -07:00 |  |