Eddie Hung
|
766e16b525
|
read_aiger: make $and/$not/$lut the prefix not suffix
|
2020-01-13 17:34:37 -08:00 |
Eddie Hung
|
556ed0e18a
|
MIssed this merge conflict
|
2020-01-11 17:05:30 -08:00 |
Eddie Hung
|
c063436eea
|
Merge remote-tracking branch 'origin/master' into eddie/abc9_scratchpad
|
2020-01-11 17:02:20 -08:00 |
Eddie Hung
|
c820682314
|
abc9: fix help message, found by @nakengelhardt
|
2020-01-11 12:11:35 -08:00 |
Eddie Hung
|
45d9caf3f9
|
abc9: remove -nomfs option
|
2020-01-11 08:08:35 -08:00 |
Eddie Hung
|
ed2aeb498e
|
Copy-pasta
|
2020-01-10 15:09:42 -08:00 |
Eddie Hung
|
291530c59f
|
abc9: add abc9.verify and abc9.debug options
|
2020-01-10 15:04:13 -08:00 |
Eddie Hung
|
1f7893bd8c
|
abc9: fix memory leak
|
2020-01-10 10:46:06 -08:00 |
Eddie Hung
|
d1f8371481
|
abc9: fix typos
|
2020-01-10 10:00:09 -08:00 |
Eddie Hung
|
e378902f93
|
Tune abc9.script.flow
|
2020-01-09 18:16:58 -08:00 |
Eddie Hung
|
8b6309747b
|
Add '-v' to &if for abc9.script.default.fast
|
2020-01-09 17:49:56 -08:00 |
Eddie Hung
|
32946a402d
|
abc9: start post-fix with semicolon
|
2020-01-09 17:35:13 -08:00 |
Eddie Hung
|
ca70f96503
|
abc9.script.* constpad entries to start with '+'
|
2020-01-09 17:17:47 -08:00 |
Eddie Hung
|
ef3e84aac9
|
Revert "abc9: if -script value is a file, then source it, otherwise commands"
This reverts commit 0696b7bc9e .
|
2020-01-09 17:11:09 -08:00 |
Eddie Hung
|
67c9c41f7e
|
Move abc9.* constpad entries to Abc9Pass::on_register()
|
2020-01-09 17:10:54 -08:00 |
Eddie Hung
|
589ffead5c
|
scratchpad entry abc9.if.R to &if -R
|
2020-01-08 12:13:06 -08:00 |
Eddie Hung
|
0696b7bc9e
|
abc9: if -script value is a file, then source it, otherwise commands
|
2020-01-08 12:11:55 -08:00 |
Eddie Hung
|
050f03f15b
|
abc9: add time as last script command
|
2020-01-08 10:55:44 -08:00 |
Eddie Hung
|
e230fd8afe
|
Fix {C} substitution
|
2020-01-08 10:52:08 -08:00 |
Eddie Hung
|
a63e2508fc
|
Add RTLIL::constpad, init by yosys_setup(); use for abc9
|
2020-01-08 10:52:08 -08:00 |
Eddie Hung
|
6728a62d92
|
abc9: uncomment nothing to map message
|
2020-01-06 12:21:50 -08:00 |
Eddie Hung
|
64ace4b0dc
|
Fixes
|
2020-01-06 11:53:48 -08:00 |
Eddie Hung
|
d152fe961f
|
Fixes
|
2020-01-06 11:50:55 -08:00 |
Eddie Hung
|
275e937fc1
|
abc9: remove -markgroups option, since operates on fully selected mod
|
2020-01-06 10:43:21 -08:00 |
Eddie Hung
|
1cf974ff40
|
abc9: cleanup
|
2020-01-06 10:26:49 -08:00 |
Eddie Hung
|
f576721a37
|
Add abc9.dff scratchpad option
|
2020-01-06 09:46:02 -08:00 |
Eddie Hung
|
45f87bb8ad
|
Merge remote-tracking branch 'origin/master' into xaig_dff
|
2020-01-06 09:44:17 -08:00 |
N. Engelhardt
|
b376548fb9
|
inherit default values when checking scratchpad for arguments
|
2020-01-06 10:46:10 +01:00 |
N. Engelhardt
|
b2ad781b07
|
share codepath for scratchpad argument handling with command arguments
|
2020-01-03 14:11:41 +01:00 |
N. Engelhardt
|
341fd872b5
|
Merge branch 'master' of https://github.com/YosysHQ/yosys into abc_scratchpad_script
|
2020-01-03 12:28:48 +01:00 |
Eddie Hung
|
ca42af56a4
|
Update doc
|
2020-01-02 12:41:57 -08:00 |
Eddie Hung
|
8e507bd807
|
abc9 -keepff -> -dff; refactor dff operations
|
2020-01-02 12:36:54 -08:00 |
Eddie Hung
|
6dc63e84ef
|
Cleanup abc9, update doc for -keepff option
|
2020-01-01 08:34:57 -08:00 |
Eddie Hung
|
c40b1aae42
|
Restore abc9 -keepff
|
2020-01-01 08:34:43 -08:00 |
Eddie Hung
|
ac808c5e2a
|
attributes.count() -> get_bool_attribute()
|
2020-01-01 08:33:32 -08:00 |
Eddie Hung
|
96db05aaef
|
parse_xaiger to not take box_lookup
|
2019-12-31 17:06:03 -08:00 |
Eddie Hung
|
cac7f5d82e
|
Do not re-order carry chain ports, just precompute iteration order
|
2019-12-31 16:12:40 -08:00 |
Eddie Hung
|
4c3f517425
|
Remove delay targets doc
|
2019-12-30 16:11:42 -08:00 |
Eddie Hung
|
0735572934
|
write_xaiger to use scratchpad for stats; cleanup abc9
|
2019-12-30 15:35:33 -08:00 |
Eddie Hung
|
d7ada66497
|
Add "synth_xilinx -dff" option, cleanup abc9
|
2019-12-30 14:13:16 -08:00 |
Eddie Hung
|
509070f82f
|
Disable clock domain partitioning in Yosys pass, let ABC do it
|
2019-12-23 08:36:20 -08:00 |
Eddie Hung
|
1ea1e8e54f
|
Merge remote-tracking branch 'origin/master' into xaig_dff
|
2019-12-20 13:56:13 -08:00 |
Eddie Hung
|
979bf36fb0
|
Split into $__ABC9_ASYNC[01], do not add cell->type to clkdomain_t
|
2019-12-19 11:23:41 -08:00 |
Eddie Hung
|
3b559de6e9
|
Interpret "abc9 -lut" as lut string only if [0-9:]
|
2019-12-18 12:21:12 -08:00 |
Eddie Hung
|
c9c77a90b3
|
Remove &verify -s
|
2019-12-17 16:11:54 -08:00 |
Eddie Hung
|
b1b99e421e
|
Use pool<> instead of std::set<> to preserver ordering
|
2019-12-17 16:10:40 -08:00 |
N. Engelhardt
|
c8bc1793a4
|
check scratchpad variable abc9.scriptfile
|
2019-12-17 19:39:55 +01:00 |
Eddie Hung
|
d9bf7061cd
|
Put $__ABC9_{FF_,ASYNC} into same clock domain as abc9_flop
|
2019-12-16 16:49:48 -08:00 |
N. Engelhardt
|
91f427d719
|
check scratchpad variables for custom abc scripts
|
2019-12-13 12:54:52 +01:00 |
Eddie Hung
|
a46a7e8a67
|
Merge remote-tracking branch 'origin/master' into xaig_dff
|
2019-12-06 23:22:52 -08:00 |