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
|
9cb542ac7a
|
Fix YosysHQ links
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
2019-08-13 17:25:10 +02:00 |
|
Clifford Wolf
|
ddbad8fd71
|
Documentation update: Boolector is using the MIT license now
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
2019-07-23 15:24:04 +02: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 |
|
ZipCPU
|
2462855e0f
|
Updated Verilog documentation
|
2019-05-21 20:55:46 -04:00 |
|
Clifford Wolf
|
44869656b8
|
Improve readability of boolector build instructions
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
2019-03-28 08:48:49 +01: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 |
|
Felix Vietmeyer
|
e80ed3bc80
|
Update Boolector build instructions
|
2019-03-16 15:47:47 -06:00 |
|
Clifford Wolf
|
cef50242df
|
Add --dumptasks to documentation
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
2019-03-08 12:20:08 -08:00 |
|
Clifford Wolf
|
d5fa89ee0c
|
Improve sby file pycode/tasks handling
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
2019-03-08 10:58:28 -08:00 |
|
Clifford Wolf
|
970e4b2857
|
Also add install docs for btorsim
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
2018-12-08 23:42:52 +01:00 |
|
Clifford Wolf
|
b8549f3a2d
|
Update boolector build instructions
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
2018-12-08 07:34:03 +01:00 |
|
Clifford Wolf
|
4eb91d5b88
|
Add "smtbmc ... -- ..." feature (for "raw" smtbmc options)
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
2018-11-22 17:08:28 +01:00 |
|
Clifford Wolf
|
bf47da495b
|
Add "skip" options (smtbmc only)
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
2018-09-12 13:23:34 +02:00 |
|
Clifford Wolf
|
7ff783598f
|
Update docs
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
2018-09-06 19:36:25 +02: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
|
93e7e1d1e2
|
Improve documentation of scripts and Verific bindings
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
2018-06-23 18:25: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
|
437a401739
|
Add [script] documentation, add some paragraphs on "verific" command
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
2018-04-18 19:32:58 +02:00 |
|
Clifford Wolf
|
f0bf0c155a
|
Typo fix
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
2018-04-13 18:10:22 +02:00 |
|
Clifford Wolf
|
9beb469ad9
|
Add documentation on [files] and [file ..] sections
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
2018-04-13 16:52:56 +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
|
47729cd61c
|
Add smtbmc --progress option
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
2018-03-07 22:16:24 +01:00 |
|
Clifford Wolf
|
055b305c81
|
Update verific.rst
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
2018-03-06 23:46:52 +01:00 |
|
Clifford Wolf
|
f6ab848797
|
Improvements in [tasks] handling
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
2018-03-06 18:05:51 +01:00 |
|
Clifford Wolf
|
fd0fd88e22
|
Update verific.rst
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
2018-03-06 15:41:57 +01:00 |
|
Clifford Wolf
|
f151ea733a
|
Update verific.rst
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
2018-03-06 11:19:27 +01:00 |
|
Clifford Wolf
|
fbd5ddb615
|
Minor format fix in documentation
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
2018-03-06 01:18:19 +01:00 |
|
Clifford Wolf
|
9e35d16e95
|
Add more documentation
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
2018-03-06 01:12:03 +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
|
d736fb14f9
|
Slightly change tasks syntax
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
2018-03-06 00:01:55 +01:00 |
|
Clifford Wolf
|
231d06b7c5
|
Add documentation for [tasks] section
|
2018-03-05 13:09:40 +01:00 |
|
Clifford Wolf
|
a94f21abab
|
Add multiclock option
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
2018-03-04 14:09:16 +01:00 |
|
Clifford Wolf
|
e966f3dca4
|
Add smtbmc --stdt option
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
2018-03-04 14:08:55 +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
|
23a369e16d
|
Add engines documentation
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
2018-03-03 15:54:00 +01:00 |
|