Clifford Wolf
|
c7f2e93024
|
Merge branch 'master' of github.com:YosysHQ/yosys into clifford/specify
|
2019-05-06 11:46:10 +02:00 |
|
David Shah
|
a84256aa36
|
abc: Fix handling of postfixed names (e.g. for retiming)
Signed-off-by: David Shah <dave@ds0.me>
|
2019-05-04 17:23:44 +01:00 |
|
David Shah
|
5ce9113eda
|
abc: Improve name recovery
Signed-off-by: David Shah <dave@ds0.me>
|
2019-05-04 16:53:25 +01:00 |
|
Clifford Wolf
|
a01386c0e4
|
Improve opt_clean handling of unused wires
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
2019-05-04 09:47:16 +02:00 |
|
Eddie Hung
|
d9c4644e88
|
Merge remote-tracking branch 'origin/master' into clifford/specify
|
2019-05-03 15:05:57 -07:00 |
|
Clifford Wolf
|
ec39cfd0ad
|
Add "hierarchy -chparam" support for non-verific top modules
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
2019-05-03 22:03:43 +02:00 |
|
Eddie Hung
|
eb21bf3651
|
log_warning_noprefix -> log_warning as per review
|
2019-05-03 20:53:25 +02:00 |
|
Eddie Hung
|
a27b42e975
|
WIP -chparam support for hierarchy when verific
|
2019-05-03 20:53:25 +02:00 |
|
Clifford Wolf
|
373b236108
|
Merge pull request #969 from YosysHQ/clifford/pmgenstuff
Improve pmgen, Add "peepopt" pass with shift-mul pattern
|
2019-05-03 20:39:50 +02:00 |
|
Clifford Wolf
|
f170fb6383
|
Merge pull request #984 from YosysHQ/eddie/fix_982
dffinit to do nothing when (* init *) value is 1'bx
|
2019-05-03 20:34:32 +02:00 |
|
Eddie Hung
|
e08df0c739
|
If init is 1'bx, do not add to dict as per @cliffordwolf
|
2019-05-03 08:06:16 -07:00 |
|
Eddie Hung
|
fc349de033
|
Revert "dffinit -noreinit to silently continue when init value is 1'bx"
This reverts commit aa081f83c7.
|
2019-05-03 08:05:37 -07:00 |
|
Clifford Wolf
|
42190207b4
|
Improve opt_expr and opt_clean handling of (partially) undriven and/or unused wires, fixes #981
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
2019-05-03 14:25:01 +02:00 |
|
Clifford Wolf
|
5c2c0b4bb2
|
Further improve unused-detection for opt_clean driver-driver conflict warning
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
2019-05-03 09:22:26 +02:00 |
|
Clifford Wolf
|
f12e1155f1
|
Improve unused-detection for opt_clean driver-driver conflict warning
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
2019-05-03 09:12:10 +02:00 |
|
Clifford Wolf
|
2b29aa5c86
|
Update pmgen documentation
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
2019-05-03 08:35:45 +02:00 |
|
Clifford Wolf
|
e8c5afcb84
|
Fix typo
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
2019-05-03 08:25:30 +02:00 |
|
Eddie Hung
|
aa081f83c7
|
dffinit -noreinit to silently continue when init value is 1'bx
|
2019-05-02 17:40:39 -07:00 |
|
Eddie Hung
|
8829cba901
|
Merge remote-tracking branch 'origin/clifford/pmgenstuff' into xc7mux
|
2019-05-02 11:25:34 -07:00 |
|
Eddie Hung
|
5cd19b52da
|
Merge remote-tracking branch 'origin/master' into xc7mux
|
2019-05-02 10:44:59 -07:00 |
|
Eddie Hung
|
f86d153cef
|
Merge branch 'master' of github.com:YosysHQ/yosys
|
2019-05-01 16:26:43 -07:00 |
|
Clifford Wolf
|
521663f09e
|
Add missing enable_undef to "sat -tempinduct-def", fixes #883
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
2019-05-02 00:03:31 +02:00 |
|
Clifford Wolf
|
93b7fd7744
|
Fix floating point exception in qwp, fixes #923
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
2019-05-01 15:06:46 +02:00 |
|
Clifford Wolf
|
a30b99e66e
|
Silently resolve completely unused cell-vs-const driver-driver conflicts
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
2019-05-01 09:29:34 +02:00 |
|
Clifford Wolf
|
32ff37bb5a
|
Fix segfault in wreduce
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
2019-04-30 22:20:45 +02:00 |
|
Clifford Wolf
|
a27eeff573
|
Merge pull request #966 from YosysHQ/clifford/fix956
Drive dangling wires with init attr with their init value
|
2019-04-30 18:08:41 +02:00 |
|
Clifford Wolf
|
9d117eba9d
|
Add handling of init attributes in "opt_expr -undriven"
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
2019-04-30 14:46:12 +02:00 |
|
Clifford Wolf
|
b515fd2d25
|
Add peepopt_muldiv, fixes #930
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
2019-04-30 11:25:15 +02:00 |
|
Clifford Wolf
|
4306bebe58
|
pmgen progress
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
2019-04-30 10:51:51 +02:00 |
|
Clifford Wolf
|
bb4f3642de
|
Some pmgen reorg, rename peepopt.pmg to peepopt_shiftmul.pmg
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
2019-04-30 08:04:22 +02:00 |
|
Clifford Wolf
|
58238da133
|
Progress in shiftmul peepopt pattern
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
2019-04-30 07:59:39 +02:00 |
|
Clifford Wolf
|
ea547bcaa3
|
Add "peepopt" skeleton
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
2019-04-29 13:38:56 +02:00 |
|
Clifford Wolf
|
9f792c599d
|
Add pmgen support for multiple patterns in one matcher
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
2019-04-29 13:02:05 +02:00 |
|
Clifford Wolf
|
32881a989c
|
Support multiple pmg files (right now just concatenated together)
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
2019-04-29 12:09:02 +02:00 |
|
Clifford Wolf
|
754b1ee4b3
|
Drive dangling wires with init attr with their init value, fixes #956
|
2019-04-29 08:44:53 +02:00 |
|
Eddie Hung
|
acafcdc94d
|
Copy with 1'bx padding in $shiftx
|
2019-04-28 13:04:34 -07:00 |
|
Eddie Hung
|
dcc8a13e48
|
Revert "Merge branch 'eddie/split_shiftx' into xc7mux"
This reverts commit 3042d58330, reversing
changes made to feff976454.
|
2019-04-26 15:32:02 -07:00 |
|
Eddie Hung
|
159e7cc298
|
Add -undef option to equiv_opt, passed to equiv_induct
|
2019-04-26 11:16:48 -07:00 |
|
Eddie Hung
|
4473fd1502
|
Add -undef option to equiv_opt, passed to equiv_induct
|
2019-04-26 11:14:33 -07:00 |
|
Eddie Hung
|
976d8030dc
|
Actually use pm.st.shiftxB
|
2019-04-25 19:59:33 -07:00 |
|
Eddie Hung
|
fb4348f840
|
Fix for when B_WIDTH has trailing zeroes
|
2019-04-25 19:38:19 -07:00 |
|
Eddie Hung
|
880652283c
|
Merge remote-tracking branch 'origin/eddie/split_shiftx' into xc7mux
|
2019-04-25 18:52:20 -07:00 |
|
Eddie Hung
|
ece2c49e92
|
In order to indicate a failed pattern, blacklist?
|
2019-04-25 18:39:13 -07:00 |
|
Eddie Hung
|
af3c374a35
|
Elaborate on help message
|
2019-04-25 17:35:39 -07:00 |
|
Eddie Hung
|
3042d58330
|
Merge branch 'eddie/split_shiftx' into xc7mux
|
2019-04-25 17:31:27 -07:00 |
|
Eddie Hung
|
ccd0729456
|
Add split_shiftx command
|
2019-04-25 17:23:59 -07:00 |
|
Eddie Hung
|
8d00b9ef7e
|
Make pmgen support files more generic
|
2019-04-25 17:23:46 -07:00 |
|
Eddie Hung
|
408161ea3a
|
Misspelling
|
2019-04-25 16:46:13 -07:00 |
|
Eddie Hung
|
d9c915042a
|
Move clean from aigerparse to abc9
|
2019-04-23 13:42:35 -07:00 |
|
Clifford Wolf
|
71c38d9de5
|
Add $specrule cells for $setup/$hold/$skew specify rules
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
2019-04-23 21:36:59 +02:00 |
|