yosys.git
5 years agoRemove dupe in CHANGELOG, missing end quote
Eddie Hung [Mon, 26 Aug 2019 17:44:23 +0000 (10:44 -0700)]
Remove dupe in CHANGELOG, missing end quote

5 years agoMerge tag 'yosys-0.9'
Clifford Wolf [Mon, 26 Aug 2019 09:11:47 +0000 (11:11 +0200)]
Merge tag 'yosys-0.9'

5 years agoYosys 0.9 yosys-0.9
Clifford Wolf [Mon, 26 Aug 2019 08:37:53 +0000 (10:37 +0200)]
Yosys 0.9

Signed-off-by: Clifford Wolf <clifford@clifford.at>
5 years agoMerge pull request #1112 from acw1251/pyosys_sigsig_issue
Clifford Wolf [Sun, 25 Aug 2019 09:22:02 +0000 (11:22 +0200)]
Merge pull request #1112 from acw1251/pyosys_sigsig_issue

Fixed pyosys commands returning RTLIL::SigSig

5 years agoMerge pull request #1327 from YosysHQ/clifford/pmgen
Clifford Wolf [Sat, 24 Aug 2019 06:38:49 +0000 (08:38 +0200)]
Merge pull request #1327 from YosysHQ/clifford/pmgen

Add pmgen slices and choices

5 years agoAdd undocumented feature
Eddie Hung [Fri, 23 Aug 2019 23:41:32 +0000 (16:41 -0700)]
Add undocumented feature

5 years agoindo -> into
Eddie Hung [Fri, 23 Aug 2019 20:15:41 +0000 (13:15 -0700)]
indo -> into

5 years agoRevert earliest to gcc-4.8, compile iverilog with default compiler
Eddie Hung [Wed, 14 Aug 2019 19:28:17 +0000 (12:28 -0700)]
Revert earliest to gcc-4.8, compile iverilog with default compiler

5 years agoRevert "Bump to gcc-5 as `__warn_memset_zero_len' symbol not in 16.04!?!"
Eddie Hung [Wed, 14 Aug 2019 19:26:45 +0000 (12:26 -0700)]
Revert "Bump to gcc-5 as `__warn_memset_zero_len' symbol not in 16.04!?!"

This reverts commit c82b2fa31f8965be2680c87af6cd9ac5d26ead4d.

5 years agoRemove .0 from clang-8.0
Eddie Hung [Wed, 14 Aug 2019 19:23:15 +0000 (12:23 -0700)]
Remove .0 from clang-8.0

5 years agoBump to gcc-5 as `__warn_memset_zero_len' symbol not in 16.04!?!
Eddie Hung [Wed, 14 Aug 2019 19:16:02 +0000 (12:16 -0700)]
Bump to gcc-5 as `__warn_memset_zero_len' symbol not in 16.04!?!

5 years agobionic -> xenial as its on whitelist
Eddie Hung [Wed, 14 Aug 2019 18:52:08 +0000 (11:52 -0700)]
bionic -> xenial as its on whitelist

5 years agoBump gcc from 4.8 to 4.9 as undefined reference
Eddie Hung [Wed, 14 Aug 2019 18:26:32 +0000 (11:26 -0700)]
Bump gcc from 4.8 to 4.9 as undefined reference

... to `__warn_memset_zero_len'.
Also remove gcc-6, bump gcc-7 to gcc-9, clang from 5.0 to 8.0

5 years agoForgot one
Eddie Hung [Fri, 23 Aug 2019 18:23:50 +0000 (11:23 -0700)]
Forgot one

5 years agoPut abc_* attributes above port
Eddie Hung [Fri, 23 Aug 2019 18:21:44 +0000 (11:21 -0700)]
Put abc_* attributes above port

5 years agoMake macOS depenency clear
Miodrag Milanovic [Fri, 23 Aug 2019 08:37:50 +0000 (10:37 +0200)]
Make macOS depenency clear

5 years agoMerge pull request #1326 from mmicko/doc-update
Eddie Hung [Fri, 23 Aug 2019 16:12:58 +0000 (09:12 -0700)]
Merge pull request #1326 from mmicko/doc-update

Make macOS dependency clear

5 years agoFix port hanlding in pmgen
Clifford Wolf [Fri, 23 Aug 2019 14:26:54 +0000 (16:26 +0200)]
Fix port hanlding in pmgen

Signed-off-by: Clifford Wolf <clifford@clifford.at>
5 years agoAdd pmgen slices and choices
Clifford Wolf [Fri, 23 Aug 2019 14:15:50 +0000 (16:15 +0200)]
Add pmgen slices and choices

Signed-off-by: Clifford Wolf <clifford@clifford.at>
5 years agoMake macOS depenency clear
Miodrag Milanovic [Fri, 23 Aug 2019 08:37:50 +0000 (10:37 +0200)]
Make macOS depenency clear

5 years agoDo not propagate mem2reg attribute through to result
Eddie Hung [Thu, 22 Aug 2019 23:57:59 +0000 (16:57 -0700)]
Do not propagate mem2reg attribute through to result

5 years agoSpelling
Eddie Hung [Thu, 22 Aug 2019 21:20:03 +0000 (14:20 -0700)]
Spelling

5 years agodo not require boost if pyosys is not used
Miodrag Milanovic [Thu, 22 Aug 2019 18:43:52 +0000 (20:43 +0200)]
do not require boost if pyosys is not used

5 years agorequire tcl-tk in Brewfile
Chris Shucksmith [Thu, 22 Aug 2019 15:37:40 +0000 (16:37 +0100)]
require tcl-tk in Brewfile

5 years agoMerge pull request #1322 from mmicko/pyosys_osx
Eddie Hung [Thu, 22 Aug 2019 18:53:27 +0000 (11:53 -0700)]
Merge pull request #1322 from mmicko/pyosys_osx

do not require boost if pyosys is not used

5 years agodo not require boost if pyosys is not used
Miodrag Milanovic [Thu, 22 Aug 2019 18:43:52 +0000 (20:43 +0200)]
do not require boost if pyosys is not used

5 years agoMerge pull request #1319 from TeaEngineering/shuckc/brew-tcl-tk
Eddie Hung [Thu, 22 Aug 2019 18:32:44 +0000 (11:32 -0700)]
Merge pull request #1319 from TeaEngineering/shuckc/brew-tcl-tk

require tcl-tk in Brewfile

5 years agoMerge pull request #1317 from YosysHQ/eddie/opt_expr_shiftx
Eddie Hung [Thu, 22 Aug 2019 17:31:27 +0000 (10:31 -0700)]
Merge pull request #1317 from YosysHQ/eddie/opt_expr_shiftx

 opt_expr to trim A port of $shiftx/$shift

5 years agoBump year in copyright notice
Clifford Wolf [Thu, 22 Aug 2019 16:43:16 +0000 (18:43 +0200)]
Bump year in copyright notice

Signed-off-by: Clifford Wolf <clifford@clifford.at>
5 years agoBump year in copyright notice
Clifford Wolf [Thu, 22 Aug 2019 16:43:16 +0000 (18:43 +0200)]
Bump year in copyright notice

Signed-off-by: Clifford Wolf <clifford@clifford.at>
5 years agoFix missing newline at end of file
Clifford Wolf [Thu, 22 Aug 2019 16:09:37 +0000 (18:09 +0200)]
Fix missing newline at end of file

Signed-off-by: Clifford Wolf <clifford@clifford.at>
5 years agoMerge pull request #1289 from mmicko/anlogic_fixes
Clifford Wolf [Thu, 22 Aug 2019 16:09:10 +0000 (18:09 +0200)]
Merge pull request #1289 from mmicko/anlogic_fixes

Anlogic fixes and optimization

5 years agoFix missing newline at end of file
Clifford Wolf [Thu, 22 Aug 2019 16:06:36 +0000 (18:06 +0200)]
Fix missing newline at end of file

Signed-off-by: Clifford Wolf <clifford@clifford.at>
5 years agoMerge pull request #1281 from mmicko/efinix
Clifford Wolf [Thu, 22 Aug 2019 16:06:02 +0000 (18:06 +0200)]
Merge pull request #1281 from mmicko/efinix

Initial support for Efinix Trion series FPGAs

5 years agoCopy-paste typo
Eddie Hung [Thu, 22 Aug 2019 15:43:44 +0000 (08:43 -0700)]
Copy-paste typo

5 years agorequire tcl-tk in Brewfile
Chris Shucksmith [Thu, 22 Aug 2019 15:37:40 +0000 (16:37 +0100)]
require tcl-tk in Brewfile

5 years agoRespect opt_expr -keepdc as per @cliffordwolf
Eddie Hung [Thu, 22 Aug 2019 15:37:27 +0000 (08:37 -0700)]
Respect opt_expr -keepdc as per @cliffordwolf

5 years agoHandle $shift and Y_WIDTH > 1 as per @cliffordwolf
Eddie Hung [Thu, 22 Aug 2019 15:22:23 +0000 (08:22 -0700)]
Handle $shift and Y_WIDTH > 1 as per @cliffordwolf

5 years agoAdd cover()
Eddie Hung [Thu, 22 Aug 2019 15:06:24 +0000 (08:06 -0700)]
Add cover()

5 years agoCanonical form
Eddie Hung [Thu, 22 Aug 2019 15:05:01 +0000 (08:05 -0700)]
Canonical form

5 years agoMerge pull request #1316 from YosysHQ/eddie/fix_mem2reg
Clifford Wolf [Thu, 22 Aug 2019 08:24:42 +0000 (10:24 +0200)]
Merge pull request #1316 from YosysHQ/eddie/fix_mem2reg

mem2reg to preserve user attributes and src

5 years agoAdd test
Eddie Hung [Thu, 22 Aug 2019 04:58:20 +0000 (21:58 -0700)]
Add test

5 years agoopt_expr to trim A port of $shiftx if Y_WIDTH == 1
Eddie Hung [Thu, 22 Aug 2019 02:18:05 +0000 (19:18 -0700)]
opt_expr to trim A port of $shiftx if Y_WIDTH == 1

5 years agoMerge pull request #1315 from mmicko/fix_dependencies
whitequark [Wed, 21 Aug 2019 21:40:31 +0000 (21:40 +0000)]
Merge pull request #1315 from mmicko/fix_dependencies

Fix test_pmgen deps

5 years agomem2reg to preserve user attributes and src
Eddie Hung [Wed, 21 Aug 2019 20:36:01 +0000 (13:36 -0700)]
mem2reg to preserve user attributes and src

5 years agoFix test_pmgen deps
Miodrag Milanovic [Wed, 21 Aug 2019 15:00:24 +0000 (17:00 +0200)]
Fix test_pmgen deps

5 years agoMerge pull request #1314 from YosysHQ/eddie/fix_techmap
Clifford Wolf [Wed, 21 Aug 2019 07:12:56 +0000 (09:12 +0200)]
Merge pull request #1314 from YosysHQ/eddie/fix_techmap

techmap -max_iter to apply to each module individually

5 years agoMissing newline
Eddie Hung [Wed, 21 Aug 2019 03:37:52 +0000 (20:37 -0700)]
Missing newline

5 years agoFix copy-paste typo
Eddie Hung [Wed, 21 Aug 2019 03:18:51 +0000 (20:18 -0700)]
Fix copy-paste typo

5 years agoGrammar
Eddie Hung [Wed, 21 Aug 2019 03:05:51 +0000 (20:05 -0700)]
Grammar

5 years agoAdd test
Eddie Hung [Wed, 21 Aug 2019 03:05:16 +0000 (20:05 -0700)]
Add test

5 years agotechmap -max_iter to apply to each module individually
Eddie Hung [Wed, 21 Aug 2019 02:48:16 +0000 (19:48 -0700)]
techmap -max_iter to apply to each module individually

5 years agoMerge pull request #1209 from YosysHQ/eddie/synth_xilinx
Eddie Hung [Tue, 20 Aug 2019 19:55:26 +0000 (12:55 -0700)]
Merge pull request #1209 from YosysHQ/eddie/synth_xilinx

[WIP] synth xilinx renaming, as per #1184

5 years agoMerge pull request #1304 from YosysHQ/eddie/abc9_refactor
Eddie Hung [Tue, 20 Aug 2019 18:59:31 +0000 (11:59 -0700)]
Merge pull request #1304 from YosysHQ/eddie/abc9_refactor

Refactor abc9 to use port attributes, not module attributes

5 years agoMerge remote-tracking branch 'origin/master' into eddie/synth_xilinx
Eddie Hung [Tue, 20 Aug 2019 18:57:52 +0000 (11:57 -0700)]
Merge remote-tracking branch 'origin/master' into eddie/synth_xilinx

5 years agoMerge pull request #1298 from YosysHQ/clifford/pmgen
Clifford Wolf [Tue, 20 Aug 2019 09:39:42 +0000 (11:39 +0200)]
Merge pull request #1298 from YosysHQ/clifford/pmgen

Improvements in pmgen

5 years agoMerge branch 'master' into clifford/pmgen
Clifford Wolf [Tue, 20 Aug 2019 09:39:23 +0000 (11:39 +0200)]
Merge branch 'master' into clifford/pmgen

5 years agoAdd test case for real parameters
Clifford Wolf [Tue, 20 Aug 2019 09:38:21 +0000 (11:38 +0200)]
Add test case for real parameters

Signed-off-by: Clifford Wolf <clifford@clifford.at>
5 years agoMerge pull request #1308 from jakobwenzel/real_params
Clifford Wolf [Tue, 20 Aug 2019 09:37:26 +0000 (11:37 +0200)]
Merge pull request #1308 from jakobwenzel/real_params

Handle real values when deriving ast modules

5 years agoMerge pull request #1309 from whitequark/proc_clean-fix-1268
whitequark [Tue, 20 Aug 2019 00:45:41 +0000 (00:45 +0000)]
Merge pull request #1309 from whitequark/proc_clean-fix-1268

proc_clean: fix order of switch insertion

5 years agoFix typo
Eddie Hung [Mon, 19 Aug 2019 17:42:00 +0000 (10:42 -0700)]
Fix typo

5 years agoFix typo
Eddie Hung [Mon, 19 Aug 2019 17:41:18 +0000 (10:41 -0700)]
Fix typo

5 years agoID({A,B,Y}) -> ID::{A,B,Y} for opt_share.cc
Eddie Hung [Mon, 19 Aug 2019 17:11:47 +0000 (10:11 -0700)]
ID({A,B,Y}) -> ID::{A,B,Y} for opt_share.cc

5 years agoClarify with 'only'
Eddie Hung [Mon, 19 Aug 2019 17:00:53 +0000 (10:00 -0700)]
Clarify with 'only'

5 years agoUpdate doc
Eddie Hung [Mon, 19 Aug 2019 16:59:57 +0000 (09:59 -0700)]
Update doc

5 years agoUnify abc_carry_{in,out} into abc_carry and use port dir, as @mithro
Eddie Hung [Mon, 19 Aug 2019 16:56:17 +0000 (09:56 -0700)]
Unify abc_carry_{in,out} into abc_carry and use port dir, as @mithro

5 years agoproc_clean: fix order of switch insertion.
whitequark [Mon, 19 Aug 2019 16:44:23 +0000 (16:44 +0000)]
proc_clean: fix order of switch insertion.

Fixes #1268.

5 years agohandle real values when deriving ast modules
Jakob Wenzel [Mon, 19 Aug 2019 12:17:36 +0000 (14:17 +0200)]
handle real values when deriving ast modules

5 years agoMerge pull request #1306 from mmicko/gitignore_fix
Clifford Wolf [Mon, 19 Aug 2019 11:09:12 +0000 (13:09 +0200)]
Merge pull request #1306 from mmicko/gitignore_fix

Ignore all generated headers for pmgen pass

5 years agoAdd *.sv to tests/simple_abc9/.gitignore
Clifford Wolf [Mon, 19 Aug 2019 11:04:57 +0000 (13:04 +0200)]
Add *.sv to tests/simple_abc9/.gitignore

Signed-off-by: Clifford Wolf <clifford@clifford.at>
5 years agoMerge branch 'master' of github.com:YosysHQ/yosys into clifford/pmgen
Clifford Wolf [Mon, 19 Aug 2019 11:04:06 +0000 (13:04 +0200)]
Merge branch 'master' of github.com:YosysHQ/yosys into clifford/pmgen

5 years agoMerge pull request #1305 from YosysHQ/clifford/testfast
Clifford Wolf [Mon, 19 Aug 2019 10:58:09 +0000 (12:58 +0200)]
Merge pull request #1305 from YosysHQ/clifford/testfast

Speed up "make test" and related cleanups

5 years agoMerge remote-tracking branch 'origin/master' into clifford/testfast
Eddie Hung [Mon, 19 Aug 2019 04:29:15 +0000 (21:29 -0700)]
Merge remote-tracking branch 'origin/master' into clifford/testfast

5 years agoRemoval of more `stat` calls from tests
Eddie Hung [Mon, 19 Aug 2019 04:28:45 +0000 (21:28 -0700)]
Removal of more `stat` calls from tests

5 years agoMerge remote-tracking branch 'upstream/master' into anlogic_fixes
Miodrag Milanovic [Sun, 18 Aug 2019 09:47:46 +0000 (11:47 +0200)]
Merge remote-tracking branch 'upstream/master' into anlogic_fixes

5 years agoIgnore all generated headers for pmgen pass
Miodrag Milanovic [Sun, 18 Aug 2019 08:49:17 +0000 (10:49 +0200)]
Ignore all generated headers for pmgen pass

5 years agoMerge pull request #1290 from YosysHQ/eddie/pr1266_again
whitequark [Sun, 18 Aug 2019 08:04:26 +0000 (08:04 +0000)]
Merge pull request #1290 from YosysHQ/eddie/pr1266_again

Wrap SB_LUT+SB_CARRY into $__ICE40_CARRY_WRAPPER (retry)

5 years agoMerge branch 'master' into eddie/pr1266_again
whitequark [Sun, 18 Aug 2019 08:04:10 +0000 (08:04 +0000)]
Merge branch 'master' into eddie/pr1266_again

5 years agoMerge pull request #1283 from YosysHQ/clifford/fix1255
Clifford Wolf [Sat, 17 Aug 2019 13:07:16 +0000 (15:07 +0200)]
Merge pull request #1283 from YosysHQ/clifford/fix1255

Fix various NDEBUG compiler warnings

5 years agoMerge pull request #1303 from YosysHQ/bogdanvuk/opt_share
Clifford Wolf [Sat, 17 Aug 2019 13:03:46 +0000 (15:03 +0200)]
Merge pull request #1303 from YosysHQ/bogdanvuk/opt_share

Implement opt_share from @bogdanvuk

5 years agoMerge pull request #1300 from YosysHQ/eddie/cleanup2
Clifford Wolf [Sat, 17 Aug 2019 13:01:31 +0000 (15:01 +0200)]
Merge pull request #1300 from YosysHQ/eddie/cleanup2

Use ID::{A,B,Y,keep,blackbox,whitebox} instead of ID()

5 years agoFix erroneous ifndef-NDEBUG in verific.cc
Clifford Wolf [Sat, 17 Aug 2019 12:47:02 +0000 (14:47 +0200)]
Fix erroneous ifndef-NDEBUG in verific.cc

Signed-off-by: Clifford Wolf <clifford@clifford.at>
5 years agoSpeed up "make test" and related cleanups
Clifford Wolf [Sat, 17 Aug 2019 12:37:07 +0000 (14:37 +0200)]
Speed up "make test" and related cleanups

Signed-off-by: Clifford Wolf <clifford@clifford.at>
5 years agoAdd test for pmtest_test "reduce" demo pattern
Clifford Wolf [Sat, 17 Aug 2019 12:05:10 +0000 (14:05 +0200)]
Add test for pmtest_test "reduce" demo pattern

Signed-off-by: Clifford Wolf <clifford@clifford.at>
5 years agoRefactor pmgen rollback mechanism
Clifford Wolf [Sat, 17 Aug 2019 11:54:18 +0000 (13:54 +0200)]
Refactor pmgen rollback mechanism

Signed-off-by: Clifford Wolf <clifford@clifford.at>
5 years agoImprovements in "test_pmgen -generate"
Clifford Wolf [Sat, 17 Aug 2019 11:53:55 +0000 (13:53 +0200)]
Improvements in "test_pmgen -generate"

Signed-off-by: Clifford Wolf <clifford@clifford.at>
5 years agoAdd pmgen "fallthrough" statement
Clifford Wolf [Sat, 17 Aug 2019 09:29:37 +0000 (11:29 +0200)]
Add pmgen "fallthrough" statement

Signed-off-by: Clifford Wolf <clifford@clifford.at>
5 years agoUse ID()
Eddie Hung [Fri, 16 Aug 2019 23:38:49 +0000 (16:38 -0700)]
Use ID()

5 years agoAdd doc for abc_* attributes
Eddie Hung [Fri, 16 Aug 2019 23:07:29 +0000 (16:07 -0700)]
Add doc for abc_* attributes

5 years agoUpdate abc_* attr in ecp5 and ice40
Eddie Hung [Fri, 16 Aug 2019 22:56:57 +0000 (15:56 -0700)]
Update abc_* attr in ecp5 and ice40

5 years agoCompute abc_scc_break and move CI/CO outside of each abc9
Eddie Hung [Fri, 16 Aug 2019 22:41:17 +0000 (15:41 -0700)]
Compute abc_scc_break and move CI/CO outside of each abc9

5 years agoAttach abc_scc_break, abc_carry_{in,out} attr to ports not modules
Eddie Hung [Fri, 16 Aug 2019 22:40:53 +0000 (15:40 -0700)]
Attach abc_scc_break, abc_carry_{in,out} attr to ports not modules

5 years agoMerge pull request #1250 from bwidawsk/master
Eddie Hung [Fri, 16 Aug 2019 21:07:09 +0000 (14:07 -0700)]
Merge pull request #1250 from bwidawsk/master

techlibs/intel: Clean up Makefile

5 years agoUse ID() macro
Eddie Hung [Fri, 16 Aug 2019 21:01:55 +0000 (14:01 -0700)]
Use ID() macro

5 years agoAdd 'opt_share' to CHANGELOG
Eddie Hung [Fri, 16 Aug 2019 20:47:51 +0000 (13:47 -0700)]
Add 'opt_share' to CHANGELOG

5 years agoAdd 'opt_share' to 'opt -full'
Eddie Hung [Fri, 16 Aug 2019 20:47:37 +0000 (13:47 -0700)]
Add 'opt_share' to 'opt -full'

5 years agoMerge https://github.com/bogdanvuk/yosys into bogdanvuk/opt_share
Eddie Hung [Fri, 16 Aug 2019 20:40:29 +0000 (13:40 -0700)]
Merge https://github.com/bogdanvuk/yosys into bogdanvuk/opt_share

5 years agoRemove unused variable
Eddie Hung [Fri, 16 Aug 2019 20:35:39 +0000 (13:35 -0700)]
Remove unused variable

5 years agoAdd help() call
Eddie Hung [Fri, 16 Aug 2019 20:00:12 +0000 (13:00 -0700)]
Add help() call

5 years agoMove namespace alias
Eddie Hung [Fri, 16 Aug 2019 19:37:11 +0000 (19:37 +0000)]
Move namespace alias