yosys.git
4 years agoabc9_ops: ignore inouts of all cell outputs for topo ordering
Eddie Hung [Tue, 14 Jan 2020 07:33:37 +0000 (23:33 -0800)]
abc9_ops: ignore inouts of all cell outputs for topo ordering

4 years agowrite_xaiger: fix case of PI and CI and (* keep *)
Eddie Hung [Tue, 14 Jan 2020 07:23:21 +0000 (23:23 -0800)]
write_xaiger: fix case of PI and CI and (* keep *)

4 years agoabc9: break SCC by setting (* keep *) on output wires
Eddie Hung [Tue, 14 Jan 2020 05:45:27 +0000 (21:45 -0800)]
abc9: break SCC by setting (* keep *) on output wires

4 years agoabc9: add -run option
Eddie Hung [Tue, 14 Jan 2020 03:22:23 +0000 (19:22 -0800)]
abc9: add -run option

4 years agoabc9: respect (* keep *) on cells
Eddie Hung [Tue, 14 Jan 2020 03:21:11 +0000 (19:21 -0800)]
abc9: respect (* keep *) on cells

4 years agowrite_xaiger: add support and test for (* keep *) on wires
Eddie Hung [Tue, 14 Jan 2020 03:07:55 +0000 (19:07 -0800)]
write_xaiger: add support and test for (* keep *) on wires

4 years agowrite_xaiger: cache arrival times
Eddie Hung [Mon, 13 Jan 2020 17:50:50 +0000 (09:50 -0800)]
write_xaiger: cache arrival times

4 years agoabc9: log which module is being operated on
Eddie Hung [Mon, 13 Jan 2020 17:43:57 +0000 (09:43 -0800)]
abc9: log which module is being operated on

4 years agoMerge remote-tracking branch 'origin/master' into eddie/abc9_refactor
Eddie Hung [Mon, 13 Jan 2020 17:22:42 +0000 (09:22 -0800)]
Merge remote-tracking branch 'origin/master' into eddie/abc9_refactor

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 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 agocleanup
Eddie Hung [Sun, 12 Jan 2020 01:28:24 +0000 (17:28 -0800)]
cleanup

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

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

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 branch 'eddie/abc9_refactor' of github.com:YosysHQ/yosys into eddie/abc9_refactor
Eddie Hung [Sat, 11 Jan 2020 21:56:41 +0000 (13:56 -0800)]
Merge branch 'eddie/abc9_refactor' of github.com:YosysHQ/yosys into eddie/abc9_refactor

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: cleanup
Eddie Hung [Sat, 11 Jan 2020 16:42:58 +0000 (08:42 -0800)]
abc9: cleanup

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 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 agoabc9_ops: fix reintegration by removing optimised-away boxes
Eddie Hung [Thu, 9 Jan 2020 19:21:03 +0000 (11:21 -0800)]
abc9_ops: fix reintegration by removing optimised-away boxes

4 years agoread_aiger: more accurate debug message
Eddie Hung [Thu, 9 Jan 2020 18:02:19 +0000 (10:02 -0800)]
read_aiger: more accurate debug message

4 years agoread_aiger: do not double-count outputs for flops
Eddie Hung [Thu, 9 Jan 2020 16:55:36 +0000 (08:55 -0800)]
read_aiger: do not double-count outputs for flops

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 agoCleanup
Eddie Hung [Wed, 8 Jan 2020 18:02:45 +0000 (10:02 -0800)]
Cleanup

4 years agoFix abc9 help, add labels
Eddie Hung [Wed, 8 Jan 2020 18:00:50 +0000 (10:00 -0800)]
Fix abc9 help, add labels

4 years agoMerge remote-tracking branch 'origin/master' into eddie/abc9_refactor
Eddie Hung [Wed, 8 Jan 2020 02:53:14 +0000 (18:53 -0800)]
Merge remote-tracking branch 'origin/master' into eddie/abc9_refactor

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 agoMerge remote-tracking branch 'origin/master' into eddie/abc9_refactor
Eddie Hung [Tue, 7 Jan 2020 23:43:22 +0000 (15:43 -0800)]
Merge remote-tracking branch 'origin/master' into eddie/abc9_refactor

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 agoread_aiger fixes
Eddie Hung [Tue, 7 Jan 2020 19:59:57 +0000 (11:59 -0800)]
read_aiger fixes

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 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

4 years agoread_aiger: default -clk_name to be empty
Eddie Hung [Tue, 7 Jan 2020 19:21:45 +0000 (11:21 -0800)]
read_aiger: default -clk_name to be empty

4 years agoabc9_ops -reintegrate: process box connections
Eddie Hung [Tue, 7 Jan 2020 17:48:57 +0000 (09:48 -0800)]
abc9_ops -reintegrate: process box connections

4 years agoread_aiger: do not process box connections, work standalone
Eddie Hung [Tue, 7 Jan 2020 17:48:11 +0000 (09:48 -0800)]
read_aiger: do not process box connections, work standalone

4 years agoFix tabs and cleanup
Eddie Hung [Tue, 7 Jan 2020 17:32:58 +0000 (09:32 -0800)]
Fix tabs and cleanup

4 years agoread_aiger: consistency between ascii and binary
Eddie Hung [Tue, 7 Jan 2020 17:32:34 +0000 (09:32 -0800)]
read_aiger: consistency between ascii and binary

4 years agoabc_exe: move 'count_outputs' check to abc
Eddie Hung [Tue, 7 Jan 2020 16:00:32 +0000 (08:00 -0800)]
abc_exe: move 'count_outputs' check to abc

4 years agoMerge branch 'master' into eddie/abc9_refactor
Eddie Hung [Tue, 7 Jan 2020 00:53:08 +0000 (16:53 -0800)]
Merge branch 'master' into eddie/abc9_refactor

4 years agoMerge branch 'master' of github.com:YosysHQ/yosys
Eddie Hung [Tue, 7 Jan 2020 00:51:32 +0000 (16:51 -0800)]
Merge branch 'master' of github.com:YosysHQ/yosys

4 years agoMerge pull request #1181 from YosysHQ/xaig_dff
Eddie Hung [Tue, 7 Jan 2020 00:50:07 +0000 (16:50 -0800)]
Merge pull request #1181 from YosysHQ/xaig_dff

"abc9 -dff" option for sequential synthesis

4 years agoFix DSP48E1 sim
Eddie Hung [Tue, 7 Jan 2020 00:45:29 +0000 (16:45 -0800)]
Fix DSP48E1 sim

4 years agoAdd testcase from #1459
Eddie Hung [Tue, 7 Jan 2020 00:22:22 +0000 (16:22 -0800)]
Add testcase from #1459

4 years agoRe-enable &mfs for synth_{ecp5,xilinx}
Eddie Hung [Tue, 7 Jan 2020 00:21:04 +0000 (16:21 -0800)]
Re-enable &mfs for synth_{ecp5,xilinx}

4 years agoBump ABCREV
Eddie Hung [Tue, 7 Jan 2020 00:20:58 +0000 (16:20 -0800)]
Bump ABCREV

4 years agoAdd abc9_ops -reintegrate; moved out from now abc9_exe
Eddie Hung [Mon, 6 Jan 2020 23:52:59 +0000 (15:52 -0800)]
Add abc9_ops -reintegrate; moved out from now abc9_exe

4 years agoabc9_map: drop padding in box connections
Eddie Hung [Mon, 6 Jan 2020 23:14:54 +0000 (15:14 -0800)]
abc9_map: drop padding in box connections

4 years agoStray log_module
Eddie Hung [Mon, 6 Jan 2020 23:14:38 +0000 (15:14 -0800)]
Stray log_module

4 years agoMerge remote-tracking branch 'origin/xaig_dff' into eddie/abc9_refactor
Eddie Hung [Mon, 6 Jan 2020 23:05:08 +0000 (15:05 -0800)]
Merge remote-tracking branch 'origin/xaig_dff' into eddie/abc9_refactor

4 years agoMerge remote-tracking branch 'origin/master' into xaig_dff
Eddie Hung [Mon, 6 Jan 2020 23:02:44 +0000 (15:02 -0800)]
Merge remote-tracking branch 'origin/master' into xaig_dff

4 years agoMerge pull request #1617 from YosysHQ/eddie/abc9_dsp_refactor
Eddie Hung [Mon, 6 Jan 2020 23:00:16 +0000 (15:00 -0800)]
Merge pull request #1617 from YosysHQ/eddie/abc9_dsp_refactor

Refactor abc9's DSP48E1 handling

4 years agoRevert "write_xaiger to pad, not abc9_ops -prep_holes"
Eddie Hung [Mon, 6 Jan 2020 21:34:45 +0000 (13:34 -0800)]
Revert "write_xaiger to pad, not abc9_ops -prep_holes"

This reverts commit b5f60e055d07579a2d4f23fc053ca030f103f377.

4 years agoCleanup
Eddie Hung [Mon, 6 Jan 2020 21:02:04 +0000 (13:02 -0800)]
Cleanup

4 years agoread_aiger: add -xaiger option
Eddie Hung [Mon, 6 Jan 2020 20:43:29 +0000 (12:43 -0800)]
read_aiger: add -xaiger option

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 agoRevert "scc command to ignore blackboxes"
Eddie Hung [Mon, 6 Jan 2020 20:29:13 +0000 (12:29 -0800)]
Revert "scc command to ignore blackboxes"

This reverts commit 32695e5032fcaa932a67f63946ae5e2a1edc8d65.

4 years agoFix bad merge
Eddie Hung [Mon, 6 Jan 2020 20:28:58 +0000 (12:28 -0800)]
Fix bad merge

4 years agoabc9: uncomment nothing to map message
Eddie Hung [Mon, 6 Jan 2020 20:21:50 +0000 (12:21 -0800)]
abc9: uncomment nothing to map message

4 years agoMerge remote-tracking branch 'origin/xaig_dff' into eddie/abc9_refactor
Eddie Hung [Mon, 6 Jan 2020 20:04:08 +0000 (12:04 -0800)]
Merge remote-tracking branch 'origin/xaig_dff' into eddie/abc9_refactor