Eddie Hung [Tue, 4 Jun 2019 06:07:08 +0000 (23:07 -0700)]
Merge remote-tracking branch 'origin/master' into xc7mux
Eddie Hung [Tue, 4 Jun 2019 03:23:37 +0000 (20:23 -0700)]
Merge pull request #1061 from YosysHQ/eddie/techmap_and_arith_map
Execute techmap and arith_map simultaneously
Eddie Hung [Tue, 4 Jun 2019 03:21:41 +0000 (20:21 -0700)]
Typo
Eddie Hung [Tue, 4 Jun 2019 03:04:47 +0000 (20:04 -0700)]
Remove extra newline
Eddie Hung [Tue, 4 Jun 2019 02:45:56 +0000 (19:45 -0700)]
IS_C_INVERTED
Eddie Hung [Tue, 4 Jun 2019 02:36:09 +0000 (19:36 -0700)]
Execute techmap and arith_map simultaneously
Eddie Hung [Mon, 3 Jun 2019 19:37:02 +0000 (12:37 -0700)]
Fix `ifndef
Eddie Hung [Mon, 3 Jun 2019 19:34:55 +0000 (12:34 -0700)]
Make SB_LUT4 a whitebox, SB_DFF a blackbox (for now)
Eddie Hung [Mon, 3 Jun 2019 19:33:47 +0000 (12:33 -0700)]
Assert that box_unique_id is indeed unique
Eddie Hung [Mon, 3 Jun 2019 19:32:20 +0000 (12:32 -0700)]
Remove dupe
Eddie Hung [Mon, 3 Jun 2019 19:31:23 +0000 (12:31 -0700)]
Skip internal modules when generating box_unique_id
Eddie Hung [Mon, 3 Jun 2019 19:30:54 +0000 (12:30 -0700)]
When creating new holes cell, inherit parameters too
Eddie Hung [Mon, 3 Jun 2019 16:33:42 +0000 (09:33 -0700)]
Ooopsie
Eddie Hung [Mon, 3 Jun 2019 16:23:43 +0000 (09:23 -0700)]
Consistent with xilinx
Clifford Wolf [Sun, 2 Jun 2019 08:14:50 +0000 (10:14 +0200)]
Only support Symbiotic EDA flavored Verific
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Eddie Hung [Sat, 1 Jun 2019 01:11:46 +0000 (18:11 -0700)]
Add flops as blackboxes
Eddie Hung [Sat, 1 Jun 2019 01:11:24 +0000 (18:11 -0700)]
Add FD*E_1 -> FD*E techmap rules
Eddie Hung [Sat, 1 Jun 2019 01:10:25 +0000 (18:10 -0700)]
Techmap flops before ABC again
Eddie Hung [Sat, 1 Jun 2019 01:06:36 +0000 (18:06 -0700)]
parse_xaiger to cope with flops
Eddie Hung [Fri, 31 May 2019 22:23:33 +0000 (15:23 -0700)]
ABC9 to understand flops
Eddie Hung [Fri, 31 May 2019 20:03:03 +0000 (13:03 -0700)]
Merge branch 'xaig' into xc7mux
Eddie Hung [Fri, 31 May 2019 19:50:11 +0000 (12:50 -0700)]
Throw out unused code inherited from abc
Clifford Wolf [Fri, 31 May 2019 07:28:51 +0000 (09:28 +0200)]
Fix "tee" handling of log_streams
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Eddie Hung [Thu, 30 May 2019 23:03:22 +0000 (16:03 -0700)]
Fix issue where keep signal became PI, but also box was adding CI driver
Eddie Hung [Thu, 30 May 2019 23:02:40 +0000 (16:02 -0700)]
read_xaiger() to name box signals
Eddie Hung [Thu, 30 May 2019 22:50:47 +0000 (15:50 -0700)]
Fix spelling
Eddie Hung [Thu, 30 May 2019 20:07:29 +0000 (13:07 -0700)]
Remove whitebox attribute from DRAMs for now
Eddie Hung [Thu, 30 May 2019 19:26:51 +0000 (12:26 -0700)]
Do not re-sort box_module ports
Eddie Hung [Thu, 30 May 2019 19:25:21 +0000 (12:25 -0700)]
Remove whitespace
Eddie Hung [Thu, 30 May 2019 18:41:50 +0000 (11:41 -0700)]
Revert "Re-enable &dc2"
This reverts commit
8c58c728a79954603289abf3520139da0a9bbb26.
Eddie Hung [Thu, 30 May 2019 18:32:14 +0000 (11:32 -0700)]
Do not double count LUT1s
Eddie Hung [Thu, 30 May 2019 08:23:36 +0000 (01:23 -0700)]
Carry in/out to be the last input/output for chains to be preserved
Clifford Wolf [Thu, 30 May 2019 08:03:54 +0000 (10:03 +0200)]
Enable Verific flag veri_elaborate_top_level_modules_having_interface_ports, fixes #1055
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Clifford Wolf [Thu, 30 May 2019 07:58:51 +0000 (09:58 +0200)]
Merge pull request #1057 from mmicko/fix_478
Aded one more load of .conf to support change of prefix
Eddie Hung [Thu, 30 May 2019 07:42:41 +0000 (00:42 -0700)]
Re-enable &dc2
Eddie Hung [Thu, 30 May 2019 06:01:46 +0000 (23:01 -0700)]
Reduce -W to 160
Eddie Hung [Thu, 30 May 2019 05:55:34 +0000 (22:55 -0700)]
Some more realistic delays...
Eddie Hung [Thu, 30 May 2019 02:17:36 +0000 (19:17 -0700)]
Erase all boxes before stitching
Eddie Hung [Wed, 29 May 2019 23:34:52 +0000 (16:34 -0700)]
Call &if with -W 250
Eddie Hung [Wed, 29 May 2019 23:34:43 +0000 (16:34 -0700)]
Bump ABC
Eddie Hung [Wed, 29 May 2019 22:26:33 +0000 (15:26 -0700)]
Rename to #23
Eddie Hung [Wed, 29 May 2019 22:24:38 +0000 (15:24 -0700)]
Add abc_test024
Eddie Hung [Wed, 29 May 2019 22:24:09 +0000 (15:24 -0700)]
Fix abc_test024
Eddie Hung [Wed, 29 May 2019 22:21:41 +0000 (15:21 -0700)]
Add some debug to abc9
Miodrag Milanovic [Wed, 29 May 2019 16:57:03 +0000 (18:57 +0200)]
Aded one more load of .conf to support change of prefix
Eddie Hung [Tue, 28 May 2019 19:43:07 +0000 (12:43 -0700)]
Add abc9_test022
Eddie Hung [Tue, 28 May 2019 19:42:17 +0000 (12:42 -0700)]
Fix for abc9_test022
Eddie Hung [Tue, 28 May 2019 18:29:59 +0000 (11:29 -0700)]
Small improvement
Clifford Wolf [Tue, 28 May 2019 17:02:26 +0000 (19:02 +0200)]
Merge pull request #1049 from YosysHQ/clifford/fix1047
Do not use shiftmul peepopt pattern when mul result is truncated
Eddie Hung [Tue, 28 May 2019 16:38:58 +0000 (09:38 -0700)]
From master
Eddie Hung [Tue, 28 May 2019 16:37:50 +0000 (09:37 -0700)]
From master
Eddie Hung [Tue, 28 May 2019 16:36:01 +0000 (09:36 -0700)]
Typo
Eddie Hung [Tue, 28 May 2019 16:35:45 +0000 (09:35 -0700)]
Update from master
Eddie Hung [Tue, 28 May 2019 16:32:18 +0000 (09:32 -0700)]
Update README.md from master
Eddie Hung [Tue, 28 May 2019 16:30:53 +0000 (09:30 -0700)]
Merge remote-tracking branch 'origin/master' into xc7mux
Eddie Hung [Tue, 28 May 2019 15:45:10 +0000 (08:45 -0700)]
read_aiger to only clean own design
Eddie Hung [Tue, 28 May 2019 15:44:59 +0000 (08:44 -0700)]
Misspell
Clifford Wolf [Tue, 28 May 2019 15:42:16 +0000 (17:42 +0200)]
Merge pull request #1050 from YosysHQ/clifford/wandwor
Refactored wand/wor support
Clifford Wolf [Tue, 28 May 2019 13:33:47 +0000 (15:33 +0200)]
Do not use shiftmul peepopt pattern when mul result is truncated, fixes #1047
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Clifford Wolf [Tue, 28 May 2019 14:52:40 +0000 (16:52 +0200)]
Merge pull request #1048 from mmicko/fix_enable_pyosys
Moved pyosys block in Makefile
Clifford Wolf [Tue, 28 May 2019 14:43:25 +0000 (16:43 +0200)]
Refactor hierarchy wand/wor handling
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Clifford Wolf [Tue, 28 May 2019 14:42:50 +0000 (16:42 +0200)]
Add actual wandwor test that is part of "make test"
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Clifford Wolf [Tue, 28 May 2019 13:45:15 +0000 (15:45 +0200)]
Merge branch 'wandwor' of https://github.com/thasti/yosys into clifford/wandwor
Miodrag Milanovic [Tue, 28 May 2019 13:43:27 +0000 (15:43 +0200)]
Remove info line in 2nd load of conf file
Miodrag Milanovic [Tue, 28 May 2019 12:53:07 +0000 (14:53 +0200)]
Moved pyosys block in Makefile
Clifford Wolf [Tue, 28 May 2019 12:00:28 +0000 (14:00 +0200)]
Merge pull request #1045 from mmicko/afl-gcc-target
afl-fuzzer compile config
Eddie Hung [Tue, 28 May 2019 06:12:21 +0000 (23:12 -0700)]
If driver not found, use LUT2
Eddie Hung [Tue, 28 May 2019 06:11:21 +0000 (23:11 -0700)]
Parse "a" extension and boxes from map file
Eddie Hung [Tue, 28 May 2019 06:10:59 +0000 (23:10 -0700)]
Map file to include boxes not CI/CO
Eddie Hung [Tue, 28 May 2019 06:09:06 +0000 (23:09 -0700)]
Make MUXF{7,8} and CARRY4 whitebox
Eddie Hung [Tue, 28 May 2019 06:08:55 +0000 (23:08 -0700)]
Re-enable lib_whitebox
Eddie Hung [Tue, 28 May 2019 02:40:27 +0000 (19:40 -0700)]
Disconnect all ABC boxes too
Eddie Hung [Mon, 27 May 2019 20:49:42 +0000 (13:49 -0700)]
Remove unused function
Eddie Hung [Mon, 27 May 2019 19:34:17 +0000 (12:34 -0700)]
parse_xaiger to not parse symbol table
Eddie Hung [Mon, 27 May 2019 19:22:05 +0000 (12:22 -0700)]
Parse without wideports
Eddie Hung [Mon, 27 May 2019 19:19:21 +0000 (12:19 -0700)]
Remove mapped_mod when done
Eddie Hung [Mon, 27 May 2019 19:16:10 +0000 (12:16 -0700)]
Instantiate cell type (from sym file) otherwise 'clean' warnings
Miodrag Milanovic [Mon, 27 May 2019 18:43:10 +0000 (20:43 +0200)]
make config-afl-gcc to help creating conf file
Eddie Hung [Mon, 27 May 2019 18:38:52 +0000 (11:38 -0700)]
Add 'cinput' and 'coutput' to symbols file for boxes
Miodrag Milanovic [Mon, 27 May 2019 18:38:44 +0000 (20:38 +0200)]
Added afl-gcc as target for fuzzer
Stefan Biereigel [Mon, 27 May 2019 17:07:46 +0000 (19:07 +0200)]
Merge branch 'master' into wandwor
Stefan Biereigel [Mon, 27 May 2019 16:45:54 +0000 (18:45 +0200)]
reformat wand/wor test
Stefan Biereigel [Mon, 27 May 2019 16:10:39 +0000 (18:10 +0200)]
remove port direction workaround from test case
Stefan Biereigel [Mon, 27 May 2019 16:07:12 +0000 (18:07 +0200)]
update README.md with wand/wor information
Stefan Biereigel [Mon, 27 May 2019 16:01:44 +0000 (18:01 +0200)]
remove leftovers from ast data structures
Stefan Biereigel [Mon, 27 May 2019 16:00:22 +0000 (18:00 +0200)]
move wand/wor resolution into hierarchy pass
Clifford Wolf [Mon, 27 May 2019 11:26:12 +0000 (13:26 +0200)]
Merge pull request #1044 from mmicko/invalid_width_range
Give error instead of asserting for invalid range, fixes #947
Clifford Wolf [Mon, 27 May 2019 11:25:52 +0000 (13:25 +0200)]
Merge pull request #1043 from mmicko/unsized_constant
Added support for unsized constants, fixes #1022
Clifford Wolf [Mon, 27 May 2019 11:24:19 +0000 (13:24 +0200)]
Merge pull request #1026 from YosysHQ/clifford/fix1023
Keep zero-width wires in opt_clean if and only if they are ports
Clifford Wolf [Mon, 27 May 2019 11:22:51 +0000 (13:22 +0200)]
Merge pull request #1030 from Kmanfi/makefile_osx
OS X related Makefile fixes.
Miodrag Milanovic [Mon, 27 May 2019 10:25:18 +0000 (12:25 +0200)]
Give error instead of asserting for invalid range, fixes #947
Miodrag Milanovic [Mon, 27 May 2019 09:42:10 +0000 (11:42 +0200)]
Added support for unsized constants, fixes #1022
Includes work from @sumit0190 and @AaronKel
Kaj Tuomi [Mon, 27 May 2019 08:31:50 +0000 (11:31 +0300)]
Guard all Python-api related items.
Eddie Hung [Sun, 26 May 2019 21:14:13 +0000 (14:14 -0700)]
Fix "a" connectivity
Eddie Hung [Sun, 26 May 2019 18:32:02 +0000 (11:32 -0700)]
Blackboxes
Eddie Hung [Sun, 26 May 2019 18:31:35 +0000 (11:31 -0700)]
ABC9 to call &sweep
Eddie Hung [Sun, 26 May 2019 18:26:38 +0000 (11:26 -0700)]
Fix padding, remove CIs from undriven_bits before erasing undriven POs
Eddie Hung [Sun, 26 May 2019 10:17:20 +0000 (03:17 -0700)]
Typo
Eddie Hung [Sun, 26 May 2019 09:52:48 +0000 (02:52 -0700)]
Muck about with LUT delays some more
Eddie Hung [Sun, 26 May 2019 09:47:06 +0000 (02:47 -0700)]
Combine ABC_COMMAND_LUT
projects / yosys.git / log