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 |
Clifford Wolf
|
66d6ca2de2
|
Add support for SVA "final" keyword
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
2019-05-04 09:25:32 +02:00 |
Clifford Wolf
|
87426f5a06
|
Improve write_verilog specify support
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
2019-05-04 08:46:24 +02:00 |
Clifford Wolf
|
e2fb8ebe86
|
Update README
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
2019-05-04 08:01:39 +02:00 |
Clifford Wolf
|
9804c86e87
|
Add approximate support for SV "var" keyword, fixes #987
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
2019-05-04 07:52:51 +02:00 |
Eddie Hung
|
554c58715a
|
More testing
|
2019-05-03 15:54:25 -07:00 |
Eddie Hung
|
bfb8b3018b
|
Fix spacing
|
2019-05-03 15:42:02 -07:00 |
Eddie Hung
|
09841c2ac1
|
Add quick-and-dirty specify tests
|
2019-05-03 15:35:26 -07:00 |
Eddie Hung
|
d9c4644e88
|
Merge remote-tracking branch 'origin/master' into clifford/specify
|
2019-05-03 15:05:57 -07:00 |
Eddie Hung
|
c2e29ab809
|
Rename cells_map.v to prevent clash with ff_map.v
|
2019-05-03 14:40:32 -07:00 |
Eddie Hung
|
1e5f072c05
|
iverilog with simcells.v as well
|
2019-05-03 14:03:51 -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
|
c7d7d8ad1b
|
For hier_tree::Elaborate() also include SV root modules (bind)
|
2019-05-03 20:53:25 +02:00 |
Eddie Hung
|
3ea54ec400
|
Fix verific_parameters construction, use attribute to mark top netlists
|
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 |
Eddie Hung
|
0f1a4cc03c
|
verific_import() changes to avoid ElaborateAll()
|
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
|
1d43a25f08
|
Revert "synth_xilinx to call dffinit with -noreinit"
This reverts commit 1f62dc9081 .
|
2019-05-03 09:55:02 -07: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
|
71ede7cb05
|
Merge pull request #976 from YosysHQ/clifford/fix974
Fix width detection of memory access with bit slice
|
2019-05-03 15:29:44 +02:00 |
Clifford Wolf
|
97423cadda
|
Merge pull request #985 from YosysHQ/clifford/fix981
Improve opt_expr and opt_clean handling of (partially) undriven and/or unused wires
|
2019-05-03 15:25:46 +02:00 |
Clifford Wolf
|
d2aa123226
|
Fix typo in tests/svinterfaces/runone.sh
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
2019-05-03 14:40:51 +02:00 |
Clifford Wolf
|
537b90ee88
|
Merge pull request #979 from jakobwenzel/svinterfacesTestcase
fail svinterfaces testcases on yosys error exit
|
2019-05-03 14:37:46 +02: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
|
1f62dc9081
|
synth_xilinx to call dffinit with -noreinit
|
2019-05-02 17:41:20 -07: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
|
283e33ba5a
|
Trim off leading 1'bx in A
|
2019-05-02 16:02:37 -07:00 |
Eddie Hung
|
fc72f07efd
|
Add don't care optimisation
|
2019-05-02 15:01:37 -07:00 |
Eddie Hung
|
d80445e049
|
Use new peepopt from #969
|
2019-05-02 11:35:57 -07:00 |
Eddie Hung
|
8829cba901
|
Merge remote-tracking branch 'origin/clifford/pmgenstuff' into xc7mux
|
2019-05-02 11:25:34 -07:00 |
Eddie Hung
|
95867109ea
|
Revert to pre-muxcover approach
|
2019-05-02 11:25:10 -07:00 |
Eddie Hung
|
d05ac7257e
|
Missing help_mode
|
2019-05-02 11:14:28 -07:00 |
Eddie Hung
|
3b5e8c86a4
|
Fix -nocarry
|
2019-05-02 11:00:49 -07:00 |
Eddie Hung
|
5cd19b52da
|
Merge remote-tracking branch 'origin/master' into xc7mux
|
2019-05-02 10:44:59 -07:00 |
Jim Lawson
|
509f729e55
|
Merge remote-tracking branch 'upstream/master'
|
2019-05-02 07:59:07 -07:00 |
Jakob Wenzel
|
98ffe5fb00
|
fail svinterfaces testcases on yosys error exit
|
2019-05-02 09:52:30 +02:00 |
Clifford Wolf
|
98925f6c4b
|
Merge pull request #963 from YosysHQ/eddie/synth_xilinx_fine
Revert synth_xilinx 'fine' label more to how it used to be...
|
2019-05-02 09:11:07 +02:00 |
Eddie Hung
|
485bf372e7
|
Merge pull request #978 from ucb-bar/fmtfirrtl
Re-indent firrtl.cc:struct memory - no functional change.
|
2019-05-01 18:24:21 -07:00 |
Eddie Hung
|
d394b9301b
|
Back to passing all xc7srl tests!
|
2019-05-01 18:23:21 -07:00 |
Eddie Hung
|
31ff0d8ef5
|
Merge remote-tracking branch 'origin/master' into eddie/synth_xilinx_fine
|
2019-05-01 18:09:38 -07:00 |
Eddie Hung
|
f86d153cef
|
Merge branch 'master' of github.com:YosysHQ/yosys
|
2019-05-01 16:26:43 -07:00 |
Jim Lawson
|
6ea09caf01
|
Re-indent firrtl.cc:struct memory - no functional change.
|
2019-05-01 16:21:13 -07:00 |