yosys.git
5 years agoMerge remote-tracking branch 'origin/master' into xc7mux
Eddie Hung [Tue, 4 Jun 2019 06:07:08 +0000 (23:07 -0700)]
Merge remote-tracking branch 'origin/master' into xc7mux

5 years agoMerge pull request #1061 from YosysHQ/eddie/techmap_and_arith_map
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

5 years agoTypo
Eddie Hung [Tue, 4 Jun 2019 03:21:41 +0000 (20:21 -0700)]
Typo

5 years agoRemove extra newline
Eddie Hung [Tue, 4 Jun 2019 03:04:47 +0000 (20:04 -0700)]
Remove extra newline

5 years agoIS_C_INVERTED
Eddie Hung [Tue, 4 Jun 2019 02:45:56 +0000 (19:45 -0700)]
IS_C_INVERTED

5 years agoExecute techmap and arith_map simultaneously
Eddie Hung [Tue, 4 Jun 2019 02:36:09 +0000 (19:36 -0700)]
Execute techmap and arith_map simultaneously

5 years agoFix `ifndef
Eddie Hung [Mon, 3 Jun 2019 19:37:02 +0000 (12:37 -0700)]
Fix `ifndef

5 years agoMake SB_LUT4 a whitebox, SB_DFF a blackbox (for now)
Eddie Hung [Mon, 3 Jun 2019 19:34:55 +0000 (12:34 -0700)]
Make SB_LUT4 a whitebox, SB_DFF a blackbox (for now)

5 years agoAssert that box_unique_id is indeed unique
Eddie Hung [Mon, 3 Jun 2019 19:33:47 +0000 (12:33 -0700)]
Assert that box_unique_id is indeed unique

5 years agoRemove dupe
Eddie Hung [Mon, 3 Jun 2019 19:32:20 +0000 (12:32 -0700)]
Remove dupe

5 years agoSkip internal modules when generating box_unique_id
Eddie Hung [Mon, 3 Jun 2019 19:31:23 +0000 (12:31 -0700)]
Skip internal modules when generating box_unique_id

5 years agoWhen creating new holes cell, inherit parameters too
Eddie Hung [Mon, 3 Jun 2019 19:30:54 +0000 (12:30 -0700)]
When creating new holes cell, inherit parameters too

5 years agoOoopsie
Eddie Hung [Mon, 3 Jun 2019 16:33:42 +0000 (09:33 -0700)]
Ooopsie

5 years agoConsistent with xilinx
Eddie Hung [Mon, 3 Jun 2019 16:23:43 +0000 (09:23 -0700)]
Consistent with xilinx

5 years agoOnly support Symbiotic EDA flavored Verific
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>
5 years agoAdd flops as blackboxes
Eddie Hung [Sat, 1 Jun 2019 01:11:46 +0000 (18:11 -0700)]
Add flops as blackboxes

5 years agoAdd FD*E_1 -> FD*E techmap rules
Eddie Hung [Sat, 1 Jun 2019 01:11:24 +0000 (18:11 -0700)]
Add FD*E_1 -> FD*E techmap rules

5 years agoTechmap flops before ABC again
Eddie Hung [Sat, 1 Jun 2019 01:10:25 +0000 (18:10 -0700)]
Techmap flops before ABC again

5 years agoparse_xaiger to cope with flops
Eddie Hung [Sat, 1 Jun 2019 01:06:36 +0000 (18:06 -0700)]
parse_xaiger to cope with flops

5 years agoABC9 to understand flops
Eddie Hung [Fri, 31 May 2019 22:23:33 +0000 (15:23 -0700)]
ABC9 to understand flops

5 years agoMerge branch 'xaig' into xc7mux
Eddie Hung [Fri, 31 May 2019 20:03:03 +0000 (13:03 -0700)]
Merge branch 'xaig' into xc7mux

5 years agoThrow out unused code inherited from abc
Eddie Hung [Fri, 31 May 2019 19:50:11 +0000 (12:50 -0700)]
Throw out unused code inherited from abc

5 years agoFix "tee" handling of log_streams
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>
5 years agoFix issue where keep signal became PI, but also box was adding CI driver
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

5 years agoread_xaiger() to name box signals
Eddie Hung [Thu, 30 May 2019 23:02:40 +0000 (16:02 -0700)]
read_xaiger() to name box signals

5 years agoFix spelling
Eddie Hung [Thu, 30 May 2019 22:50:47 +0000 (15:50 -0700)]
Fix spelling

5 years agoRemove whitebox attribute from DRAMs for now
Eddie Hung [Thu, 30 May 2019 20:07:29 +0000 (13:07 -0700)]
Remove whitebox attribute from DRAMs for now

5 years agoDo not re-sort box_module ports
Eddie Hung [Thu, 30 May 2019 19:26:51 +0000 (12:26 -0700)]
Do not re-sort box_module ports

5 years agoRemove whitespace
Eddie Hung [Thu, 30 May 2019 19:25:21 +0000 (12:25 -0700)]
Remove whitespace

5 years agoRevert "Re-enable &dc2"
Eddie Hung [Thu, 30 May 2019 18:41:50 +0000 (11:41 -0700)]
Revert "Re-enable &dc2"

This reverts commit 8c58c728a79954603289abf3520139da0a9bbb26.

5 years agoDo not double count LUT1s
Eddie Hung [Thu, 30 May 2019 18:32:14 +0000 (11:32 -0700)]
Do not double count LUT1s

5 years agoCarry in/out to be the last input/output for chains to be preserved
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

5 years agoEnable Verific flag veri_elaborate_top_level_modules_having_interface_ports, fixes...
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>
5 years agoMerge pull request #1057 from mmicko/fix_478
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

5 years agoRe-enable &dc2
Eddie Hung [Thu, 30 May 2019 07:42:41 +0000 (00:42 -0700)]
Re-enable &dc2

5 years agoReduce -W to 160
Eddie Hung [Thu, 30 May 2019 06:01:46 +0000 (23:01 -0700)]
Reduce -W to 160

5 years agoSome more realistic delays...
Eddie Hung [Thu, 30 May 2019 05:55:34 +0000 (22:55 -0700)]
Some more realistic delays...

5 years agoErase all boxes before stitching
Eddie Hung [Thu, 30 May 2019 02:17:36 +0000 (19:17 -0700)]
Erase all boxes before stitching

5 years agoCall &if with -W 250
Eddie Hung [Wed, 29 May 2019 23:34:52 +0000 (16:34 -0700)]
Call &if with -W 250

5 years agoBump ABC
Eddie Hung [Wed, 29 May 2019 23:34:43 +0000 (16:34 -0700)]
Bump ABC

5 years agoRename to #23
Eddie Hung [Wed, 29 May 2019 22:26:33 +0000 (15:26 -0700)]
Rename to #23

5 years agoAdd abc_test024
Eddie Hung [Wed, 29 May 2019 22:24:38 +0000 (15:24 -0700)]
Add abc_test024

5 years agoFix abc_test024
Eddie Hung [Wed, 29 May 2019 22:24:09 +0000 (15:24 -0700)]
Fix abc_test024

5 years agoAdd some debug to abc9
Eddie Hung [Wed, 29 May 2019 22:21:41 +0000 (15:21 -0700)]
Add some debug to abc9

5 years agoAded one more load of .conf to support change of prefix
Miodrag Milanovic [Wed, 29 May 2019 16:57:03 +0000 (18:57 +0200)]
Aded one more load of .conf to support change of prefix

5 years agoAdd abc9_test022
Eddie Hung [Tue, 28 May 2019 19:43:07 +0000 (12:43 -0700)]
Add abc9_test022

5 years agoFix for abc9_test022
Eddie Hung [Tue, 28 May 2019 19:42:17 +0000 (12:42 -0700)]
Fix for abc9_test022

5 years agoSmall improvement
Eddie Hung [Tue, 28 May 2019 18:29:59 +0000 (11:29 -0700)]
Small improvement

5 years agoMerge pull request #1049 from YosysHQ/clifford/fix1047
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

5 years agoFrom master
Eddie Hung [Tue, 28 May 2019 16:38:58 +0000 (09:38 -0700)]
From master

5 years agoFrom master
Eddie Hung [Tue, 28 May 2019 16:37:50 +0000 (09:37 -0700)]
From master

5 years agoTypo
Eddie Hung [Tue, 28 May 2019 16:36:01 +0000 (09:36 -0700)]
Typo

5 years agoUpdate from master
Eddie Hung [Tue, 28 May 2019 16:35:45 +0000 (09:35 -0700)]
Update from master

5 years agoUpdate README.md from master
Eddie Hung [Tue, 28 May 2019 16:32:18 +0000 (09:32 -0700)]
Update README.md from master

5 years agoMerge remote-tracking branch 'origin/master' into xc7mux
Eddie Hung [Tue, 28 May 2019 16:30:53 +0000 (09:30 -0700)]
Merge remote-tracking branch 'origin/master' into xc7mux

5 years agoread_aiger to only clean own design
Eddie Hung [Tue, 28 May 2019 15:45:10 +0000 (08:45 -0700)]
read_aiger to only clean own design

5 years agoMisspell
Eddie Hung [Tue, 28 May 2019 15:44:59 +0000 (08:44 -0700)]
Misspell

5 years agoMerge pull request #1050 from YosysHQ/clifford/wandwor
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

5 years agoDo not use shiftmul peepopt pattern when mul result is truncated, fixes #1047
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>
5 years agoMerge pull request #1048 from mmicko/fix_enable_pyosys
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

5 years agoRefactor hierarchy wand/wor handling
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>
5 years agoAdd actual wandwor test that is part of "make test"
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>
5 years agoMerge branch 'wandwor' of https://github.com/thasti/yosys into clifford/wandwor
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

5 years agoRemove info line in 2nd load of conf file
Miodrag Milanovic [Tue, 28 May 2019 13:43:27 +0000 (15:43 +0200)]
Remove info line in 2nd load of conf file

5 years agoMoved pyosys block in Makefile
Miodrag Milanovic [Tue, 28 May 2019 12:53:07 +0000 (14:53 +0200)]
Moved pyosys block in Makefile

5 years agoMerge pull request #1045 from mmicko/afl-gcc-target
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

5 years agoIf driver not found, use LUT2
Eddie Hung [Tue, 28 May 2019 06:12:21 +0000 (23:12 -0700)]
If driver not found, use LUT2

5 years agoParse "a" extension and boxes from map file
Eddie Hung [Tue, 28 May 2019 06:11:21 +0000 (23:11 -0700)]
Parse "a" extension and boxes from map file

5 years agoMap file to include boxes not CI/CO
Eddie Hung [Tue, 28 May 2019 06:10:59 +0000 (23:10 -0700)]
Map file to include boxes not CI/CO

5 years agoMake MUXF{7,8} and CARRY4 whitebox
Eddie Hung [Tue, 28 May 2019 06:09:06 +0000 (23:09 -0700)]
Make MUXF{7,8} and CARRY4 whitebox

5 years agoRe-enable lib_whitebox
Eddie Hung [Tue, 28 May 2019 06:08:55 +0000 (23:08 -0700)]
Re-enable lib_whitebox

5 years agoDisconnect all ABC boxes too
Eddie Hung [Tue, 28 May 2019 02:40:27 +0000 (19:40 -0700)]
Disconnect all ABC boxes too

5 years agoRemove unused function
Eddie Hung [Mon, 27 May 2019 20:49:42 +0000 (13:49 -0700)]
Remove unused function

5 years agoparse_xaiger to not parse symbol table
Eddie Hung [Mon, 27 May 2019 19:34:17 +0000 (12:34 -0700)]
parse_xaiger to not parse symbol table

5 years agoParse without wideports
Eddie Hung [Mon, 27 May 2019 19:22:05 +0000 (12:22 -0700)]
Parse without wideports

5 years agoRemove mapped_mod when done
Eddie Hung [Mon, 27 May 2019 19:19:21 +0000 (12:19 -0700)]
Remove mapped_mod when done

5 years agoInstantiate cell type (from sym file) otherwise 'clean' warnings
Eddie Hung [Mon, 27 May 2019 19:16:10 +0000 (12:16 -0700)]
Instantiate cell type (from sym file) otherwise 'clean' warnings

5 years agomake config-afl-gcc to help creating conf file
Miodrag Milanovic [Mon, 27 May 2019 18:43:10 +0000 (20:43 +0200)]
make config-afl-gcc to help creating conf file

5 years agoAdd 'cinput' and 'coutput' to symbols file for boxes
Eddie Hung [Mon, 27 May 2019 18:38:52 +0000 (11:38 -0700)]
Add 'cinput' and 'coutput' to symbols file for boxes

5 years agoAdded afl-gcc as target for fuzzer
Miodrag Milanovic [Mon, 27 May 2019 18:38:44 +0000 (20:38 +0200)]
Added afl-gcc as target for fuzzer

5 years agoMerge branch 'master' into wandwor
Stefan Biereigel [Mon, 27 May 2019 17:07:46 +0000 (19:07 +0200)]
Merge branch 'master' into wandwor

5 years agoreformat wand/wor test
Stefan Biereigel [Mon, 27 May 2019 16:45:54 +0000 (18:45 +0200)]
reformat wand/wor test

5 years agoremove port direction workaround from test case
Stefan Biereigel [Mon, 27 May 2019 16:10:39 +0000 (18:10 +0200)]
remove port direction workaround from test case

5 years agoupdate README.md with wand/wor information
Stefan Biereigel [Mon, 27 May 2019 16:07:12 +0000 (18:07 +0200)]
update README.md with wand/wor information

5 years agoremove leftovers from ast data structures
Stefan Biereigel [Mon, 27 May 2019 16:01:44 +0000 (18:01 +0200)]
remove leftovers from ast data structures

5 years agomove wand/wor resolution into hierarchy pass
Stefan Biereigel [Mon, 27 May 2019 16:00:22 +0000 (18:00 +0200)]
move wand/wor resolution into hierarchy pass

5 years agoMerge pull request #1044 from mmicko/invalid_width_range
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

5 years agoMerge pull request #1043 from mmicko/unsized_constant
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

5 years agoMerge pull request #1026 from YosysHQ/clifford/fix1023
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

5 years agoMerge pull request #1030 from Kmanfi/makefile_osx
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.

5 years agoGive error instead of asserting for invalid range, fixes #947
Miodrag Milanovic [Mon, 27 May 2019 10:25:18 +0000 (12:25 +0200)]
Give error instead of asserting for invalid range, fixes #947

5 years agoAdded support for unsized constants, fixes #1022
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

5 years agoGuard all Python-api related items.
Kaj Tuomi [Mon, 27 May 2019 08:31:50 +0000 (11:31 +0300)]
Guard all Python-api related items.

5 years agoFix "a" connectivity
Eddie Hung [Sun, 26 May 2019 21:14:13 +0000 (14:14 -0700)]
Fix "a" connectivity

5 years agoBlackboxes
Eddie Hung [Sun, 26 May 2019 18:32:02 +0000 (11:32 -0700)]
Blackboxes

5 years agoABC9 to call &sweep
Eddie Hung [Sun, 26 May 2019 18:31:35 +0000 (11:31 -0700)]
ABC9 to call &sweep

5 years agoFix padding, remove CIs from undriven_bits before erasing undriven POs
Eddie Hung [Sun, 26 May 2019 18:26:38 +0000 (11:26 -0700)]
Fix padding, remove CIs from undriven_bits before erasing undriven POs

5 years agoTypo
Eddie Hung [Sun, 26 May 2019 10:17:20 +0000 (03:17 -0700)]
Typo

5 years agoMuck about with LUT delays some more
Eddie Hung [Sun, 26 May 2019 09:52:48 +0000 (02:52 -0700)]
Muck about with LUT delays some more

5 years agoCombine ABC_COMMAND_LUT
Eddie Hung [Sun, 26 May 2019 09:47:06 +0000 (02:47 -0700)]
Combine ABC_COMMAND_LUT