80 commits

Author	SHA1	Message	Date
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
Alexandre Dumont aka Adlx	d29f7b9837	Tipo missing * in Global Clock example	2020-06-29 00:42:06 +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	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