Claire Xenia Wolf
|
ac9001b22c
|
Improvements and cleanups in tasks handling
Signed-off-by: Claire Xenia Wolf <claire@clairexen.net>
|
2021-12-18 11:36:34 +01:00 |
|
Claire Xen
|
f7f5135508
|
Update README.md
|
2021-12-17 15:50:57 +01:00 |
|
Claire Xen
|
7f2c4189dc
|
Update README.md
|
2021-12-17 15:48:01 +01:00 |
|
Claire Xenia Wolf
|
4a07e026dd
|
Add inductive invariants example
Signed-off-by: Claire Xenia Wolf <claire@clairexen.net>
|
2021-12-17 15:42:04 +01:00 |
|
N. Engelhardt
|
f5f1d9936f
|
Make readme of abstraction example more tutorial-like
|
2021-04-16 15:54:51 +02:00 |
|
Claire Wolf
|
5a9efba584
|
Improvements in "make test"
Signed-off-by: Claire Wolf <claire@symbioticeda.com>
|
2020-07-24 14:58:23 +02:00 |
|
Claire Wolf
|
0d98201dc7
|
Add "Unexpected response" handling to smtbmc engine
Signed-off-by: Claire Wolf <claire@symbioticeda.com>
|
2020-07-20 19:42:10 +02:00 |
|
Claire Wolf
|
b26d4e6362
|
Update wolf_goat_cabbage.sv
Signed-off-by: Claire Wolf <claire@symbioticeda.com>
|
2020-04-22 19:21:15 +02:00 |
|
matt venn
|
68127a3706
|
consistent naming and put person moving line at the top
|
2020-04-22 19:11:23 +02:00 |
|
matt venn
|
94ce8e1288
|
Merge branch 'master' of https://github.com/YosysHQ/SymbiYosys
|
2020-04-22 17:54:53 +02:00 |
|
matt venn
|
9d69f8a518
|
change order of statements and make gender neutral
|
2020-04-22 17:54:39 +02:00 |
|
Claire Wolf
|
3ec2b6b4e4
|
Add djb2hash example
Signed-off-by: Claire Wolf <claire@symbioticeda.com>
|
2020-04-09 19:46:19 +02:00 |
|
Claire Wolf
|
a4885ce494
|
Get rid of verific warning in abstraction example
Signed-off-by: Claire Wolf <claire@symbioticeda.com>
|
2020-04-03 15:28:23 +02:00 |
|
Claire Wolf
|
d18656084c
|
Fix typo
Signed-off-by: Claire Wolf <claire@symbioticeda.com>
|
2020-04-03 15:18:52 +02:00 |
|
Claire Wolf
|
8a62780b9d
|
Fix primegen example
Signed-off-by: Claire Wolf <claire@symbioticeda.com>
|
2020-03-24 17:12:12 +01:00 |
|
Clifford Wolf
|
5ef5187673
|
Add docs/examples/abstract/.gitignore
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
2019-06-18 10:31:55 +02:00 |
|
Clifford Wolf
|
59f4f29fdc
|
Fix quickstart demo to work with verific
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
2019-06-18 10:30:04 +02:00 |
|
Clifford Wolf
|
79b1ac9570
|
Minor improvements in docs/examples/abstract/abstr.sv
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
2019-03-27 14:49:35 +01:00 |
|
Clifford Wolf
|
afe6960ffe
|
Add docs/examples/abstract
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
2019-03-27 14:45:30 +01:00 |
|
Clifford Wolf
|
6e53db0a66
|
Add "pour_853_4" puzzle to examples
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
2018-08-25 18:21:34 +02:00 |
|
Clifford Wolf
|
2fef25f93d
|
Fixed bug in examples/quickstart/demo.sv
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
2018-07-26 14:19:04 +02:00 |
|
Clifford Wolf
|
c5e5f5dcbb
|
Update examples
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
2018-06-29 19:32:03 +02:00 |
|
Clifford Wolf
|
2fa29974dd
|
Update remaining quickstart examples
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
2018-06-29 18:21:38 +02:00 |
|
Clifford Wolf
|
45a11da8ea
|
Update quickstart demo
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
2018-06-29 10:05:52 +02:00 |
|
Clifford Wolf
|
983f066445
|
Use "multiclock on" option in dpmem.sby example
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
2018-05-12 17:21:00 +02:00 |
|
Clifford Wolf
|
2c13fbefe6
|
Extend primegen example
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
2018-03-07 23:10:53 +01:00 |
|
Clifford Wolf
|
951211856d
|
Add fib example using tasks
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
2018-03-06 00:03:54 +01:00 |
|
Clifford Wolf
|
0f21d01460
|
Add primegen example
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
2018-03-03 19:58:35 +01:00 |
|
Clifford Wolf
|
35a5fb94f1
|
Add wolf_goat_cabbage.sby
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
2018-03-03 19:28:26 +01:00 |
|
Clifford Wolf
|
25936009bb
|
Disable unrolling per default for z3
|
2017-12-14 02:12:08 +01:00 |
|
Clifford Wolf
|
770c6441d8
|
Add dpmem multiclk example
|
2017-12-13 19:17:32 +01:00 |
|
Clifford Wolf
|
f403b99fae
|
Add wolf_goat_cabbage.v puzzle solver
|
2017-09-26 19:17:16 +02:00 |
|
Clifford Wolf
|
404f8de16d
|
Update documentation
|
2017-02-19 22:55:39 +01:00 |
|
Clifford Wolf
|
c2c273c7c8
|
Add "expect" config option
|
2017-02-06 16:30:29 +01:00 |
|
Clifford Wolf
|
ad4c0f2198
|
Add "cover" mode
|
2017-02-05 15:44:01 +01:00 |
|
Clifford Wolf
|
0a1f207ab5
|
Fix bug in /examples/quickstart/prove.v
|
2017-01-31 09:12:31 +01:00 |
|
Clifford Wolf
|
1410ac4d49
|
Add some docs for "prove" mode
|
2017-01-30 13:23:07 +01:00 |
|
Clifford Wolf
|
9064f7e6f6
|
Improve quickstart memory example
|
2017-01-30 12:04:59 +01:00 |
|
Clifford Wolf
|
1a574ce24a
|
Improve documentation
|
2017-01-29 17:10:17 +01:00 |
|