yosys.git
4 years agoMerge pull request #1613 from porglezomp-misc/version-flag-alias
Claire Wolf [Mon, 27 Jan 2020 11:59:27 +0000 (12:59 +0100)]
Merge pull request #1613 from porglezomp-misc/version-flag-alias

Add --version and -version as aliases for -V

4 years agoice40: add SB_SPRAM256KA arrival time
Eddie Hung [Fri, 24 Jan 2020 20:16:05 +0000 (12:16 -0800)]
ice40: add SB_SPRAM256KA arrival time

4 years agosimple_abc9 tests to discard whitebox before write for sim
Eddie Hung [Fri, 24 Jan 2020 03:55:11 +0000 (19:55 -0800)]
simple_abc9 tests to discard whitebox before write for sim

4 years agoabc_box_id -> abc9_box_id in test
Eddie Hung [Fri, 24 Jan 2020 02:53:14 +0000 (18:53 -0800)]
abc_box_id -> abc9_box_id in test

4 years agoFix $__ABC9_ASYNC1 to output 1'b1 not 1'b0
Eddie Hung [Wed, 22 Jan 2020 22:22:03 +0000 (14:22 -0800)]
Fix $__ABC9_ASYNC1 to output 1'b1 not 1'b0

4 years agoMerge pull request #1652 from YosysHQ/eddie/abc9_fixes
Eddie Hung [Wed, 22 Jan 2020 20:27:41 +0000 (12:27 -0800)]
Merge pull request #1652 from YosysHQ/eddie/abc9_fixes

Eddie/abc9 fixes

4 years agoabc9: error out if flip-flop init is 1'b1 for '-dff'
Eddie Hung [Wed, 22 Jan 2020 18:08:48 +0000 (10:08 -0800)]
abc9: error out if flip-flop init is 1'b1 for '-dff'

Due to ABC sequential synthesis restriction

4 years agoabc9: fix scratchpad entry abc9.verify
Eddie Hung [Wed, 22 Jan 2020 17:36:54 +0000 (09:36 -0800)]
abc9: fix scratchpad entry abc9.verify

4 years agoMerge pull request #1637 from YosysHQ/mwk/fix-1634
Claire Wolf [Tue, 21 Jan 2020 17:37:06 +0000 (18:37 +0100)]
Merge pull request #1637 from YosysHQ/mwk/fix-1634

fsm_detect: Add a cache to avoid excessive CPU usage for big mux networks.

4 years agoMerge pull request #1629 from YosysHQ/mwk/edif-z
Claire Wolf [Tue, 21 Jan 2020 17:35:15 +0000 (18:35 +0100)]
Merge pull request #1629 from YosysHQ/mwk/edif-z

edif: Just ignore connections to 'z

4 years agoMerge pull request #1621 from YosysHQ/clifford/fminit
Claire Wolf [Mon, 20 Jan 2020 21:01:57 +0000 (22:01 +0100)]
Merge pull request #1621 from YosysHQ/clifford/fminit

Add fminit pass

4 years agoMerge pull request #1643 from YosysHQ/eddie/cleanup_arith_map
Eddie Hung [Sat, 18 Jan 2020 17:11:52 +0000 (09:11 -0800)]
Merge pull request #1643 from YosysHQ/eddie/cleanup_arith_map

Cleanup +/xilinx/arith_map.v

4 years agoMerge pull request #1602 from niklasnisbeth/ice40-init-vals-warning
David Shah [Sat, 18 Jan 2020 09:47:17 +0000 (09:47 +0000)]
Merge pull request #1602 from niklasnisbeth/ice40-init-vals-warning

ice40: Demote conflicting FF init values to a warning

4 years agoMerge pull request #1645 from YosysHQ/eddie/fix1644
Eddie Hung [Sat, 18 Jan 2020 03:25:59 +0000 (19:25 -0800)]
Merge pull request #1645 from YosysHQ/eddie/fix1644

{ice40,xilinx}_dsp: improve robustess

4 years agoxilinx_dsp: another typo; move xilinx specific test
Eddie Hung [Sat, 18 Jan 2020 01:07:03 +0000 (17:07 -0800)]
xilinx_dsp: another typo; move xilinx specific test

4 years agoice40_dsp: fix typo
Eddie Hung [Sat, 18 Jan 2020 00:08:04 +0000 (16:08 -0800)]
ice40_dsp: fix typo

4 years agoConsistency
Eddie Hung [Sat, 18 Jan 2020 00:06:20 +0000 (16:06 -0800)]
Consistency

4 years agoxilinx_dsp: add parameter defaults
Eddie Hung [Sat, 18 Jan 2020 00:05:10 +0000 (16:05 -0800)]
xilinx_dsp: add parameter defaults

4 years agoAdd #1644 testcase
Eddie Hung [Fri, 17 Jan 2020 23:57:52 +0000 (15:57 -0800)]
Add #1644 testcase

4 years agosynth_ice40: call wreduce before mul2dsp
Eddie Hung [Fri, 17 Jan 2020 23:41:55 +0000 (15:41 -0800)]
synth_ice40: call wreduce before mul2dsp

4 years agoice40_dsp: add test
Eddie Hung [Fri, 17 Jan 2020 23:38:26 +0000 (15:38 -0800)]
ice40_dsp: add test

4 years agoice40_dsp: add default values for parameters
Eddie Hung [Fri, 17 Jan 2020 23:37:52 +0000 (15:37 -0800)]
ice40_dsp: add default values for parameters

4 years agoice40_dsp: tolerant of fanout-less outputs, as well as all-zero inputs
Eddie Hung [Fri, 17 Jan 2020 23:28:02 +0000 (15:28 -0800)]
ice40_dsp: tolerant of fanout-less outputs, as well as all-zero inputs

4 years agoDeprecate `_CLB_CARRY from +/xilinx/arith_map.v since #1623
Eddie Hung [Fri, 17 Jan 2020 20:02:46 +0000 (12:02 -0800)]
Deprecate `_CLB_CARRY from +/xilinx/arith_map.v since #1623

4 years ago+/xilinx/arith_map.v fix $lcu rule
Eddie Hung [Fri, 17 Jan 2020 19:14:19 +0000 (11:14 -0800)]
+/xilinx/arith_map.v fix $lcu rule

4 years agoMerge pull request #1639 from YosysHQ/eddie/fix_read_xaiger
Eddie Hung [Thu, 16 Jan 2020 00:22:49 +0000 (16:22 -0800)]
Merge pull request #1639 from YosysHQ/eddie/fix_read_xaiger

read_aiger: $lut prefix in front

4 years agoabc9: aAdd test to check $_NOT_s are absorbed
Eddie Hung [Wed, 15 Jan 2020 22:36:05 +0000 (14:36 -0800)]
abc9: aAdd test to check $_NOT_s are absorbed

4 years agoread_aiger: $lut prefix in front
Eddie Hung [Wed, 15 Jan 2020 22:31:32 +0000 (14:31 -0800)]
read_aiger: $lut prefix in front

4 years agoMerge pull request #1636 from YosysHQ/eddie/fix_synth_xilinx_W
Miodrag Milanović [Wed, 15 Jan 2020 07:47:16 +0000 (08:47 +0100)]
Merge pull request #1636 from YosysHQ/eddie/fix_synth_xilinx_W

synth_xilinx: fix default W value for non-xc7

4 years agoMerge pull request #1635 from YosysHQ/eddie/print_stats
Eddie Hung [Tue, 14 Jan 2020 22:18:42 +0000 (14:18 -0800)]
Merge pull request #1635 from YosysHQ/eddie/print_stats

print_stats footer to return peak memory, option for including children

4 years agofsm_detect: Add a cache to avoid excessive CPU usage for big mux networks.
Marcin Kościelnicki [Tue, 14 Jan 2020 21:48:40 +0000 (22:48 +0100)]
fsm_detect: Add a cache to avoid excessive CPU usage for big mux networks.

Fixes #1634.

4 years agoMerge pull request #1633 from YosysHQ/eddie/fix_autoname
Eddie Hung [Tue, 14 Jan 2020 19:40:54 +0000 (11:40 -0800)]
Merge pull request #1633 from YosysHQ/eddie/fix_autoname

autoname: do not rename ports

4 years agoMerge pull request #1632 from YosysHQ/eddie/fix1630
Eddie Hung [Tue, 14 Jan 2020 19:40:40 +0000 (11:40 -0800)]
Merge pull request #1632 from YosysHQ/eddie/fix1630

read_aiger: uniquify wires with $aiger<autoidx> prefix

4 years agoAs before, only display MEM if Linux or FreeBSD
Eddie Hung [Tue, 14 Jan 2020 19:38:48 +0000 (11:38 -0800)]
As before, only display MEM if Linux or FreeBSD

4 years agosynth_xilinx: fix default W value for non-xc7
Eddie Hung [Tue, 14 Jan 2020 19:34:40 +0000 (11:34 -0800)]
synth_xilinx: fix default W value for non-xc7

4 years agoprint_stats footer to return peak memory, option for including children
Eddie Hung [Tue, 14 Jan 2020 19:25:23 +0000 (11:25 -0800)]
print_stats footer to return peak memory, option for including children

4 years agoMerge pull request #1623 from YosysHQ/mmicko/edif_attr
Miodrag Milanović [Tue, 14 Jan 2020 18:19:32 +0000 (19:19 +0100)]
Merge pull request #1623 from YosysHQ/mmicko/edif_attr

Export wire properties in EDIF

4 years agoautoname: do not autoname ports
Eddie Hung [Tue, 14 Jan 2020 18:13:29 +0000 (10:13 -0800)]
autoname: do not autoname ports

4 years agoautoname: add testcase with $-prefix-ed port
Eddie Hung [Tue, 14 Jan 2020 18:13:03 +0000 (10:13 -0800)]
autoname: add testcase with $-prefix-ed port

4 years agoread_aiger: also rename "$0"
Eddie Hung [Tue, 14 Jan 2020 17:01:53 +0000 (09:01 -0800)]
read_aiger: also rename "$0"

4 years agoread_aiger: uniquify wires with $aiger<autoidx> prefix
Eddie Hung [Tue, 14 Jan 2020 05:28:27 +0000 (21:28 -0800)]
read_aiger: uniquify wires with $aiger<autoidx> prefix

4 years agoAdd #1630 testcase
Eddie Hung [Tue, 14 Jan 2020 05:27:53 +0000 (21:27 -0800)]
Add #1630 testcase

4 years agoread_aiger: make $and/$not/$lut the prefix not suffix
Eddie Hung [Tue, 14 Jan 2020 01:34:37 +0000 (17:34 -0800)]
read_aiger: make $and/$not/$lut the prefix not suffix

4 years agoMerge pull request #1620 from YosysHQ/eddie/abc9_scratchpad
Eddie Hung [Mon, 13 Jan 2020 17:04:20 +0000 (09:04 -0800)]
Merge pull request #1620 from YosysHQ/eddie/abc9_scratchpad

abc9: add some scripts/options into "scratchpad"

4 years agoMerge pull request #1627 from YosysHQ/eddie/fix1626
Eddie Hung [Mon, 13 Jan 2020 16:17:34 +0000 (08:17 -0800)]
Merge pull request #1627 from YosysHQ/eddie/fix1626

synth_ice40: -abc2 to always use `abc` even if `-abc9`

4 years agoedif: Just ignore connections to 'z
Marcin Kościelnicki [Mon, 13 Jan 2020 13:49:31 +0000 (14:49 +0100)]
edif: Just ignore connections to 'z

Connecting a const 'z to a net should be equivalent to not connecting it
at all, so let's just ignore such connections on output.

4 years agoAdd #1626 testcase
Eddie Hung [Sun, 12 Jan 2020 23:21:26 +0000 (15:21 -0800)]
Add #1626 testcase

4 years agosynth_ice40: -abc2 to always use `abc` even if `-abc9`
Eddie Hung [Sun, 12 Jan 2020 19:26:05 +0000 (11:26 -0800)]
synth_ice40: -abc2 to always use `abc` even if `-abc9`

4 years agoAnother conflict
Eddie Hung [Sun, 12 Jan 2020 02:57:25 +0000 (18:57 -0800)]
Another conflict

4 years agowrite_xaiger: create holes_sigmap before modifications
Eddie Hung [Sun, 12 Jan 2020 01:25:32 +0000 (17:25 -0800)]
write_xaiger: create holes_sigmap before modifications

4 years agoMIssed this merge conflict
Eddie Hung [Sun, 12 Jan 2020 01:05:30 +0000 (17:05 -0800)]
MIssed this merge conflict

4 years agoMerge remote-tracking branch 'origin/master' into eddie/abc9_scratchpad
Eddie Hung [Sun, 12 Jan 2020 01:02:20 +0000 (17:02 -0800)]
Merge remote-tracking branch 'origin/master' into eddie/abc9_scratchpad

4 years agoMerge pull request #1625 from YosysHQ/eddie/abc9_mfs
Eddie Hung [Sat, 11 Jan 2020 21:49:24 +0000 (13:49 -0800)]
Merge pull request #1625 from YosysHQ/eddie/abc9_mfs

abc9: re-enable "&mfs" optimisation for synth_{xilinx,ecp5}

4 years agoabc9: fix help message, found by @nakengelhardt
Eddie Hung [Sat, 11 Jan 2020 20:11:35 +0000 (12:11 -0800)]
abc9: fix help message, found by @nakengelhardt

4 years agowrite_xaiger: sort holes by offset as well as port_id
Eddie Hung [Sat, 11 Jan 2020 19:49:57 +0000 (11:49 -0800)]
write_xaiger: sort holes by offset as well as port_id

4 years agoabc9: remove -nomfs option
Eddie Hung [Sat, 11 Jan 2020 16:08:35 +0000 (08:08 -0800)]
abc9: remove -nomfs option

4 years agoMerge remote-tracking branch 'origin/master' into eddie/abc9_mfs
Eddie Hung [Sat, 11 Jan 2020 15:59:56 +0000 (07:59 -0800)]
Merge remote-tracking branch 'origin/master' into eddie/abc9_mfs

4 years agoBump ABCREV for upstream fix
Eddie Hung [Sat, 11 Jan 2020 15:59:18 +0000 (07:59 -0800)]
Bump ABCREV for upstream fix

4 years agoMerge pull request #1622 from YosysHQ/clifford/onpassreg
Eddie Hung [Sat, 11 Jan 2020 15:55:00 +0000 (07:55 -0800)]
Merge pull request #1622 from YosysHQ/clifford/onpassreg

Add Pass::on_register() and Pass::on_shutdown()

4 years agoCopy-pasta
Eddie Hung [Fri, 10 Jan 2020 23:09:42 +0000 (15:09 -0800)]
Copy-pasta

4 years agosynth_xilinx: synth_xilinx.abc9.xc7.W to replace XC7_WIRE_DELAY macro
Eddie Hung [Fri, 10 Jan 2020 23:07:46 +0000 (15:07 -0800)]
synth_xilinx: synth_xilinx.abc9.xc7.W to replace XC7_WIRE_DELAY macro

4 years agoabc9: add abc9.verify and abc9.debug options
Eddie Hung [Fri, 10 Jan 2020 23:04:13 +0000 (15:04 -0800)]
abc9: add abc9.verify and abc9.debug options

4 years agoMerge pull request #1624 from YosysHQ/eddie/abc9_leak
Eddie Hung [Fri, 10 Jan 2020 19:28:38 +0000 (11:28 -0800)]
Merge pull request #1624 from YosysHQ/eddie/abc9_leak

abc9: fix memory leak

4 years agoabc9: fix memory leak
Eddie Hung [Fri, 10 Jan 2020 18:46:06 +0000 (10:46 -0800)]
abc9: fix memory leak

4 years agoabc9: fix typos
Eddie Hung [Fri, 10 Jan 2020 18:00:09 +0000 (10:00 -0800)]
abc9: fix typos

4 years agothis one is fine
Miodrag Milanovic [Fri, 10 Jan 2020 14:20:50 +0000 (15:20 +0100)]
this one is fine

4 years agoFix tests
Miodrag Milanovic [Fri, 10 Jan 2020 13:48:01 +0000 (14:48 +0100)]
Fix tests

4 years agoremove whitespace
Miodrag Milanovic [Fri, 10 Jan 2020 11:38:03 +0000 (12:38 +0100)]
remove whitespace

4 years agoUse CARRY4 for abc1 as well, preventing issues with Vivado
Miodrag Milanovic [Fri, 10 Jan 2020 11:34:21 +0000 (12:34 +0100)]
Use CARRY4 for abc1 as well, preventing issues with Vivado

4 years agoExport wire properties as well in EDIF
Miodrag Milanovic [Fri, 10 Jan 2020 11:33:58 +0000 (12:33 +0100)]
Export wire properties as well in EDIF

4 years agoAdd abc9 sanity test
Eddie Hung [Fri, 10 Jan 2020 02:17:06 +0000 (18:17 -0800)]
Add abc9 sanity test

4 years agoTune abc9.script.flow
Eddie Hung [Fri, 10 Jan 2020 02:16:58 +0000 (18:16 -0800)]
Tune abc9.script.flow

4 years agoAdd '-v' to &if for abc9.script.default.fast
Eddie Hung [Fri, 10 Jan 2020 01:49:56 +0000 (17:49 -0800)]
Add '-v' to &if for abc9.script.default.fast

4 years agoabc9: start post-fix with semicolon
Eddie Hung [Fri, 10 Jan 2020 01:35:13 +0000 (17:35 -0800)]
abc9: start post-fix with semicolon

4 years agoabc9.script.* constpad entries to start with '+'
Eddie Hung [Fri, 10 Jan 2020 01:17:47 +0000 (17:17 -0800)]
abc9.script.* constpad entries to start with '+'

4 years agoRevert "abc9: if -script value is a file, then source it, otherwise commands"
Eddie Hung [Fri, 10 Jan 2020 01:11:09 +0000 (17:11 -0800)]
Revert "abc9: if -script value is a file, then source it, otherwise commands"

This reverts commit 0696b7bc9e4bd86eadd0e0b92696392cc5dc6172.

4 years agoMove abc9.* constpad entries to Abc9Pass::on_register()
Eddie Hung [Fri, 10 Jan 2020 01:10:54 +0000 (17:10 -0800)]
Move abc9.* constpad entries to Abc9Pass::on_register()

4 years agoMerge remote-tracking branch 'origin/clifford/onpassreg' into eddie/abc9_scratchpad
Eddie Hung [Fri, 10 Jan 2020 01:06:13 +0000 (17:06 -0800)]
Merge remote-tracking branch 'origin/clifford/onpassreg' into eddie/abc9_scratchpad

4 years agoBump version
Clifford Wolf [Thu, 9 Jan 2020 20:37:28 +0000 (21:37 +0100)]
Bump version

Signed-off-by: Clifford Wolf <clifford@clifford.at>
4 years agoAdd Pass::on_register() and Pass::on_shutdown()
Clifford Wolf [Thu, 9 Jan 2020 20:36:34 +0000 (21:36 +0100)]
Add Pass::on_register() and Pass::on_shutdown()

Signed-off-by: Clifford Wolf <clifford@clifford.at>
4 years agoAdd fminit pass
Clifford Wolf [Thu, 9 Jan 2020 20:22:54 +0000 (21:22 +0100)]
Add fminit pass

Signed-off-by: Clifford Wolf <clifford@clifford.at>
4 years agowrite_xaiger: cleanup holes generation
Eddie Hung [Thu, 9 Jan 2020 02:27:09 +0000 (18:27 -0800)]
write_xaiger: cleanup holes generation

4 years agowrite_xaiger: holes PIs only if whitebox
Eddie Hung [Wed, 8 Jan 2020 23:40:37 +0000 (15:40 -0800)]
write_xaiger: holes PIs only if whitebox

4 years agoAdd abc9.if.script.flow{,2} to constpad
Eddie Hung [Wed, 8 Jan 2020 20:15:01 +0000 (12:15 -0800)]
Add abc9.if.script.flow{,2} to constpad

4 years agoscratchpad entry abc9.if.R to &if -R
Eddie Hung [Wed, 8 Jan 2020 20:13:06 +0000 (12:13 -0800)]
scratchpad entry abc9.if.R to &if -R

4 years agoabc9: if -script value is a file, then source it, otherwise commands
Eddie Hung [Wed, 8 Jan 2020 20:11:55 +0000 (12:11 -0800)]
abc9: if -script value is a file, then source it, otherwise commands

4 years agoabc9: add time as last script command
Eddie Hung [Wed, 8 Jan 2020 18:55:44 +0000 (10:55 -0800)]
abc9: add time as last script command

4 years agoFix {C} substitution
Eddie Hung [Tue, 7 Jan 2020 21:08:59 +0000 (13:08 -0800)]
Fix {C} substitution

4 years agoAdd RTLIL::constpad, init by yosys_setup(); use for abc9
Eddie Hung [Tue, 7 Jan 2020 20:52:03 +0000 (12:52 -0800)]
Add RTLIL::constpad, init by yosys_setup(); use for abc9

4 years agoFix abc9_xc7.box comments
Eddie Hung [Tue, 7 Jan 2020 23:59:18 +0000 (15:59 -0800)]
Fix abc9_xc7.box comments

4 years agoFix abc9_xc7.box comments
Eddie Hung [Tue, 7 Jan 2020 23:59:18 +0000 (15:59 -0800)]
Fix abc9_xc7.box comments

4 years agoscc to use design->selected_modules() which avoids black/white-boxes
Eddie Hung [Mon, 6 Jan 2020 20:36:11 +0000 (12:36 -0800)]
scc to use design->selected_modules() which avoids black/white-boxes

4 years agoMerge remote-tracking branch 'origin/master' into eddie/abc9_mfs
Eddie Hung [Tue, 7 Jan 2020 23:44:18 +0000 (15:44 -0800)]
Merge remote-tracking branch 'origin/master' into eddie/abc9_mfs

4 years agoBump ABCREV for upstream fix
Eddie Hung [Tue, 7 Jan 2020 23:40:37 +0000 (15:40 -0800)]
Bump ABCREV for upstream fix

4 years agoMerge pull request #1618 from YosysHQ/eddie/aiger_fixes
Eddie Hung [Tue, 7 Jan 2020 22:45:31 +0000 (14:45 -0800)]
Merge pull request #1618 from YosysHQ/eddie/aiger_fixes

read_aiger fixes

4 years agoread_aiger: consistency between ascii and binary; also name latches
Eddie Hung [Tue, 7 Jan 2020 21:30:31 +0000 (13:30 -0800)]
read_aiger: consistency between ascii and binary; also name latches

4 years agoAdd testcases
Eddie Hung [Tue, 7 Jan 2020 19:44:20 +0000 (11:44 -0800)]
Add testcases

4 years agotests/aiger: write Yosys output
Eddie Hung [Tue, 7 Jan 2020 19:44:03 +0000 (11:44 -0800)]
tests/aiger: write Yosys output

4 years agoread_aiger: connect identical signals together
Eddie Hung [Tue, 7 Jan 2020 19:43:28 +0000 (11:43 -0800)]
read_aiger: connect identical signals together

4 years agoread_aiger: cope with latches and POs with same name
Eddie Hung [Tue, 7 Jan 2020 19:22:48 +0000 (11:22 -0800)]
read_aiger: cope with latches and POs with same name