SymbiYosys.git
5 years agoUpdated Verilog documentation
ZipCPU [Wed, 22 May 2019 00:55:46 +0000 (20:55 -0400)]
Updated Verilog documentation

5 years agoCheck if config contains any engines, fixes #38
Clifford Wolf [Wed, 1 May 2019 16:47:41 +0000 (18:47 +0200)]
Check if config contains any engines, fixes #38

Signed-off-by: Clifford Wolf <clifford@clifford.at>
5 years agoFix re-run in same directory feature
Clifford Wolf [Tue, 30 Apr 2019 18:03:24 +0000 (20:03 +0200)]
Fix re-run in same directory feature

Signed-off-by: Clifford Wolf <clifford@clifford.at>
5 years agoMerge pull request #42 from mithro/master
Clifford Wolf [Thu, 18 Apr 2019 09:13:10 +0000 (11:13 +0200)]
Merge pull request #42 from mithro/master

Adding some extra licensing information.

5 years agoAdding license info to the top level README file too.
Tim 'mithro' Ansell [Thu, 11 Apr 2019 22:36:19 +0000 (15:36 -0700)]
Adding license info to the top level README file too.

5 years agoAdding top level COPYING file.
Tim 'mithro' Ansell [Thu, 11 Apr 2019 22:32:32 +0000 (15:32 -0700)]
Adding top level COPYING file.

 * Enables github license detection.

5 years agoImprove readability of boolector build instructions
Clifford Wolf [Thu, 28 Mar 2019 07:48:49 +0000 (08:48 +0100)]
Improve readability of boolector build instructions

Signed-off-by: Clifford Wolf <clifford@clifford.at>
5 years agoMinor improvements in docs/examples/abstract/abstr.sv
Clifford Wolf [Wed, 27 Mar 2019 13:49:35 +0000 (14:49 +0100)]
Minor improvements in docs/examples/abstract/abstr.sv

Signed-off-by: Clifford Wolf <clifford@clifford.at>
5 years agoAdd docs/examples/abstract
Clifford Wolf [Wed, 27 Mar 2019 13:45:30 +0000 (14:45 +0100)]
Add docs/examples/abstract

Signed-off-by: Clifford Wolf <clifford@clifford.at>
5 years agoAdd extra "setundef -anyseq" to aiger script
Clifford Wolf [Fri, 22 Mar 2019 12:40:50 +0000 (13:40 +0100)]
Add extra "setundef -anyseq" to aiger script

Signed-off-by: Clifford Wolf <clifford@clifford.at>
5 years agoBackward compatibility with Python 3.4 API
Clifford Wolf [Thu, 21 Mar 2019 19:09:44 +0000 (20:09 +0100)]
Backward compatibility with Python 3.4 API

Signed-off-by: Clifford Wolf <clifford@clifford.at>
5 years agoSignificantly improve management of child processes
Clifford Wolf [Thu, 21 Mar 2019 14:06:49 +0000 (15:06 +0100)]
Significantly improve management of child processes

Signed-off-by: Clifford Wolf <clifford@clifford.at>
5 years agoImprove logfile/output flushing
Clifford Wolf [Wed, 20 Mar 2019 18:08:46 +0000 (19:08 +0100)]
Improve logfile/output flushing

Signed-off-by: Clifford Wolf <clifford@clifford.at>
5 years agoDo not overwrite config.sby in reusedir mode
Clifford Wolf [Fri, 15 Mar 2019 18:36:13 +0000 (19:36 +0100)]
Do not overwrite config.sby in reusedir mode

Signed-off-by: Clifford Wolf <clifford@clifford.at>
5 years agoMerge pull request #33 from cr1901/no-resource
Clifford Wolf [Tue, 19 Mar 2019 13:20:28 +0000 (14:20 +0100)]
Merge pull request #33 from cr1901/no-resource

Meaningful Windows Support

5 years agoAnnotate cmdline comment, summary string, and output XML with
William D. Jones [Mon, 18 Mar 2019 04:46:06 +0000 (00:46 -0400)]
Annotate cmdline comment, summary string, and output XML with
OS-specific information.

5 years agoChoose command separator for tasks based on OS.
William D. Jones [Sat, 16 Mar 2019 03:14:12 +0000 (23:14 -0400)]
Choose command separator for tasks based on OS.

Signed-off-by: William D. Jones <thor0505@comcast.net>
5 years agoMerge pull request #35 from FelixVi/master
Clifford Wolf [Sun, 17 Mar 2019 11:27:44 +0000 (12:27 +0100)]
Merge pull request #35 from FelixVi/master

Update Boolector build instructions

5 years agoUpdate Boolector build instructions
Felix Vietmeyer [Sat, 16 Mar 2019 21:47:47 +0000 (15:47 -0600)]
Update Boolector build instructions

5 years agoRename ".stamp" file to "status"
Clifford Wolf [Fri, 15 Mar 2019 15:29:11 +0000 (16:29 +0100)]
Rename ".stamp" file to "status"

Signed-off-by: Clifford Wolf <clifford@clifford.at>
5 years agoMerge branch 'master' into no-resource
William D. Jones [Tue, 12 Mar 2019 20:59:17 +0000 (16:59 -0400)]
Merge branch 'master' into no-resource

5 years agoMerge pull request #32 from cr1901/win-shell
Clifford Wolf [Tue, 12 Mar 2019 19:49:19 +0000 (20:49 +0100)]
Merge pull request #32 from cr1901/win-shell

Install launcher executable when running on Windows. Fixes #30.

5 years agoInstall launcher executable when running on Windows.
William D. Jones [Tue, 12 Mar 2019 04:50:52 +0000 (00:50 -0400)]
Install launcher executable when running on Windows.

Signed-off-by: William D. Jones <thor0505@comcast.net>
5 years agoGate Unix-specific functionality from resources and fcntl.
William D. Jones [Sun, 10 Mar 2019 05:43:55 +0000 (00:43 -0500)]
Gate Unix-specific functionality from resources and fcntl.

Signed-off-by: William D. Jones <thor0505@comcast.net>
5 years agoImprove rerun-in-existing-dir functionality
Clifford Wolf [Sat, 9 Mar 2019 20:52:51 +0000 (12:52 -0800)]
Improve rerun-in-existing-dir functionality

Signed-off-by: Clifford Wolf <clifford@clifford.at>
5 years agoAdd support for (re-)running in existing workdir
Clifford Wolf [Sat, 9 Mar 2019 20:42:54 +0000 (12:42 -0800)]
Add support for (re-)running in existing workdir

Signed-off-by: Clifford Wolf <clifford@clifford.at>
5 years agoAdd --dumptasks to documentation
Clifford Wolf [Fri, 8 Mar 2019 20:20:08 +0000 (12:20 -0800)]
Add --dumptasks to documentation

Signed-off-by: Clifford Wolf <clifford@clifford.at>
5 years agoImprove sby file pycode/tasks handling
Clifford Wolf [Fri, 8 Mar 2019 18:45:32 +0000 (10:45 -0800)]
Improve sby file pycode/tasks handling

Signed-off-by: Clifford Wolf <clifford@clifford.at>
5 years agoAdd --dumpcfg and --dumptasks
Clifford Wolf [Sun, 3 Mar 2019 03:09:33 +0000 (19:09 -0800)]
Add --dumpcfg and --dumptasks

Signed-off-by: Clifford Wolf <clifford@clifford.at>
5 years agoFurther improve BTOR cex handling
Clifford Wolf [Mon, 10 Dec 2018 02:44:08 +0000 (03:44 +0100)]
Further improve BTOR cex handling

Signed-off-by: Clifford Wolf <clifford@clifford.at>
5 years agoImprove BTOR cex handling
Clifford Wolf [Mon, 10 Dec 2018 01:42:03 +0000 (02:42 +0100)]
Improve BTOR cex handling

Signed-off-by: Clifford Wolf <clifford@clifford.at>
5 years agoAlso add install docs for btorsim
Clifford Wolf [Sat, 8 Dec 2018 22:42:52 +0000 (23:42 +0100)]
Also add install docs for btorsim

Signed-off-by: Clifford Wolf <clifford@clifford.at>
5 years agoUpdate boolector build instructions
Clifford Wolf [Sat, 8 Dec 2018 06:34:03 +0000 (07:34 +0100)]
Update boolector build instructions

Signed-off-by: Clifford Wolf <clifford@clifford.at>
5 years agoFixes and improvements in BTOR engine
Clifford Wolf [Sat, 8 Dec 2018 06:16:19 +0000 (07:16 +0100)]
Fixes and improvements in BTOR engine

Signed-off-by: Clifford Wolf <clifford@clifford.at>
5 years agoMerge pull request #22 from YosysHQ/btor
Clifford Wolf [Sat, 8 Dec 2018 06:03:36 +0000 (22:03 -0800)]
Merge pull request #22 from YosysHQ/btor

Btor BMC engine

5 years agoWorking BTOR BMC engine
Clifford Wolf [Sat, 8 Dec 2018 06:01:21 +0000 (07:01 +0100)]
Working BTOR BMC engine

Signed-off-by: Clifford Wolf <clifford@clifford.at>
5 years agoAdd btor engine
Clifford Wolf [Sat, 8 Dec 2018 04:23:04 +0000 (05:23 +0100)]
Add btor engine

Signed-off-by: Clifford Wolf <clifford@clifford.at>
5 years agoAdd "smtbmc ... -- ..." feature (for "raw" smtbmc options)
Clifford Wolf [Thu, 22 Nov 2018 16:08:28 +0000 (17:08 +0100)]
Add "smtbmc ... -- ..." feature (for "raw" smtbmc options)

Signed-off-by: Clifford Wolf <clifford@clifford.at>
6 years agoGenerate AIGERs with -I -B
Clifford Wolf [Mon, 12 Nov 2018 08:36:12 +0000 (09:36 +0100)]
Generate AIGERs with -I -B

Signed-off-by: Clifford Wolf <clifford@clifford.at>
6 years agoImprove bogus task tags detection
Clifford Wolf [Wed, 12 Sep 2018 11:26:08 +0000 (13:26 +0200)]
Improve bogus task tags detection

Signed-off-by: Clifford Wolf <clifford@clifford.at>
6 years agoDetect bogus task tags
Clifford Wolf [Wed, 12 Sep 2018 11:23:22 +0000 (13:23 +0200)]
Detect bogus task tags

Signed-off-by: Clifford Wolf <clifford@clifford.at>
6 years agoAdd "skip" options (smtbmc only)
Clifford Wolf [Wed, 12 Sep 2018 11:12:24 +0000 (13:12 +0200)]
Add "skip" options (smtbmc only)

Signed-off-by: Clifford Wolf <clifford@clifford.at>
6 years agoUpdate docs
Clifford Wolf [Thu, 6 Sep 2018 17:36:25 +0000 (19:36 +0200)]
Update docs

Signed-off-by: Clifford Wolf <clifford@clifford.at>
6 years agoUpdate README.md
Clifford Wolf [Mon, 27 Aug 2018 17:35:25 +0000 (19:35 +0200)]
Update README.md

6 years agoAdd "pour_853_4" puzzle to examples
Clifford Wolf [Sat, 25 Aug 2018 16:21:34 +0000 (18:21 +0200)]
Add "pour_853_4" puzzle to examples

Signed-off-by: Clifford Wolf <clifford@clifford.at>
6 years agoFixed "counterexample trace:" log message for things like warmup failed
Clifford Wolf [Tue, 21 Aug 2018 12:00:30 +0000 (14:00 +0200)]
Fixed "counterexample trace:" log message for things like warmup failed

Signed-off-by: Clifford Wolf <clifford@clifford.at>
6 years agoFixed bug in examples/quickstart/demo.sv
Clifford Wolf [Thu, 26 Jul 2018 12:19:04 +0000 (14:19 +0200)]
Fixed bug in examples/quickstart/demo.sv

Signed-off-by: Clifford Wolf <clifford@clifford.at>
6 years agoUse async2sync for "multiclock off" mode
Clifford Wolf [Thu, 19 Jul 2018 13:31:49 +0000 (15:31 +0200)]
Use async2sync for "multiclock off" mode

Signed-off-by: Clifford Wolf <clifford@clifford.at>
6 years agoUpdate examples
Clifford Wolf [Fri, 29 Jun 2018 17:32:03 +0000 (19:32 +0200)]
Update examples

Signed-off-by: Clifford Wolf <clifford@clifford.at>
6 years agoUpdate remaining quickstart examples
Clifford Wolf [Fri, 29 Jun 2018 16:21:38 +0000 (18:21 +0200)]
Update remaining quickstart examples

Signed-off-by: Clifford Wolf <clifford@clifford.at>
6 years agoUpdate quickstart demo
Clifford Wolf [Fri, 29 Jun 2018 08:05:52 +0000 (10:05 +0200)]
Update quickstart demo

Signed-off-by: Clifford Wolf <clifford@clifford.at>
6 years agoImprove documentation of scripts and Verific bindings
Clifford Wolf [Sat, 23 Jun 2018 16:25:52 +0000 (18:25 +0200)]
Improve documentation of scripts and Verific bindings

Signed-off-by: Clifford Wolf <clifford@clifford.at>
6 years agoUse "multiclock on" option in dpmem.sby example
Clifford Wolf [Sat, 12 May 2018 15:21:00 +0000 (17:21 +0200)]
Use "multiclock on" option in dpmem.sby example

Signed-off-by: Clifford Wolf <clifford@clifford.at>
6 years agoUse "hierarchy -simcheck" in default script
Clifford Wolf [Sat, 12 May 2018 12:03:37 +0000 (14:03 +0200)]
Use "hierarchy -simcheck" in default script

Signed-off-by: Clifford Wolf <clifford@clifford.at>
6 years agoFix fix for chained tasks
Clifford Wolf [Tue, 1 May 2018 13:58:55 +0000 (15:58 +0200)]
Fix fix for chained tasks

Signed-off-by: Clifford Wolf <clifford@clifford.at>
6 years agoFix bug in handling of chained tasks
Clifford Wolf [Tue, 1 May 2018 12:58:18 +0000 (14:58 +0200)]
Fix bug in handling of chained tasks

Signed-off-by: Clifford Wolf <clifford@clifford.at>
6 years agoAdd comment support in [tasks] section
Clifford Wolf [Thu, 19 Apr 2018 15:28:18 +0000 (17:28 +0200)]
Add comment support in [tasks] section

Signed-off-by: Clifford Wolf <clifford@clifford.at>
6 years agoAdd [script] documentation, add some paragraphs on "verific" command
Clifford Wolf [Wed, 18 Apr 2018 17:32:58 +0000 (19:32 +0200)]
Add [script] documentation, add some paragraphs on "verific" command

Signed-off-by: Clifford Wolf <clifford@clifford.at>
6 years agoTypo fix
Clifford Wolf [Fri, 13 Apr 2018 16:10:22 +0000 (18:10 +0200)]
Typo fix

Signed-off-by: Clifford Wolf <clifford@clifford.at>
6 years agoAdd check for malformed dst filename in [files] section
Clifford Wolf [Fri, 13 Apr 2018 16:03:35 +0000 (18:03 +0200)]
Add check for malformed dst filename in [files] section

Signed-off-by: Clifford Wolf <clifford@clifford.at>
6 years agoAdd documentation on [files] and [file ..] sections
Clifford Wolf [Fri, 13 Apr 2018 14:52:56 +0000 (16:52 +0200)]
Add documentation on [files] and [file ..] sections

Signed-off-by: Clifford Wolf <clifford@clifford.at>
6 years agoAdd JUnit XML output file and .stamp files
Clifford Wolf [Wed, 28 Mar 2018 11:31:50 +0000 (13:31 +0200)]
Add JUnit XML output file and .stamp files

Signed-off-by: Clifford Wolf <clifford@clifford.at>
6 years agoMore improvements in sby error handling
Clifford Wolf [Tue, 27 Mar 2018 14:23:57 +0000 (16:23 +0200)]
More improvements in sby error handling

Signed-off-by: Clifford Wolf <clifford@clifford.at>
6 years agoDrastically improve sby error handling
Clifford Wolf [Tue, 27 Mar 2018 14:11:43 +0000 (16:11 +0200)]
Drastically improve sby error handling

6 years agoImprove handling of nomem models
Clifford Wolf [Thu, 15 Mar 2018 18:11:42 +0000 (19:11 +0100)]
Improve handling of nomem models

Signed-off-by: Clifford Wolf <clifford@clifford.at>
6 years agoAdd localtime also to early log messages
Clifford Wolf [Sun, 11 Mar 2018 00:26:40 +0000 (01:26 +0100)]
Add localtime also to early log messages

Signed-off-by: Clifford Wolf <clifford@clifford.at>
6 years agoAdd localtime to log file
Clifford Wolf [Sun, 11 Mar 2018 00:06:09 +0000 (01:06 +0100)]
Add localtime to log file

Signed-off-by: Clifford Wolf <clifford@clifford.at>
6 years agoExtend primegen example
Clifford Wolf [Wed, 7 Mar 2018 22:10:53 +0000 (23:10 +0100)]
Extend primegen example

Signed-off-by: Clifford Wolf <clifford@clifford.at>
6 years agoAdd "smtbmc --basecase/--induction"
Clifford Wolf [Wed, 7 Mar 2018 21:23:50 +0000 (22:23 +0100)]
Add "smtbmc --basecase/--induction"

Signed-off-by: Clifford Wolf <clifford@clifford.at>
6 years agoAdd smtbmc --progress option
Clifford Wolf [Wed, 7 Mar 2018 21:16:24 +0000 (22:16 +0100)]
Add smtbmc --progress option

Signed-off-by: Clifford Wolf <clifford@clifford.at>
6 years agoAdd "mkdir -p" to "make install"
Clifford Wolf [Wed, 7 Mar 2018 11:31:56 +0000 (12:31 +0100)]
Add "mkdir -p" to "make install"

Signed-off-by: Clifford Wolf <clifford@clifford.at>
6 years agoUpdate verific.rst
Clifford Wolf [Tue, 6 Mar 2018 22:46:52 +0000 (23:46 +0100)]
Update verific.rst

Signed-off-by: Clifford Wolf <clifford@clifford.at>
6 years agoMerge branch 'master' of github.com:cliffordwolf/SymbiYosys
Clifford Wolf [Tue, 6 Mar 2018 22:42:09 +0000 (23:42 +0100)]
Merge branch 'master' of github.com:cliffordwolf/SymbiYosys

6 years agoUse memory_nordff in postprocess script
Clifford Wolf [Tue, 6 Mar 2018 22:38:05 +0000 (23:38 +0100)]
Use memory_nordff in postprocess script

Signed-off-by: Clifford Wolf <clifford@clifford.at>
6 years agoImprovements in [tasks] handling
Clifford Wolf [Tue, 6 Mar 2018 17:05:51 +0000 (18:05 +0100)]
Improvements in [tasks] handling

Signed-off-by: Clifford Wolf <clifford@clifford.at>
6 years agoUpdate verific.rst
Clifford Wolf [Tue, 6 Mar 2018 14:41:57 +0000 (15:41 +0100)]
Update verific.rst

Signed-off-by: Clifford Wolf <clifford@clifford.at>
6 years agoUpdate verific.rst
Clifford Wolf [Tue, 6 Mar 2018 10:19:27 +0000 (11:19 +0100)]
Update verific.rst

Signed-off-by: Clifford Wolf <clifford@clifford.at>
6 years agoMinor format fix in documentation
Clifford Wolf [Tue, 6 Mar 2018 00:18:19 +0000 (01:18 +0100)]
Minor format fix in documentation

Signed-off-by: Clifford Wolf <clifford@clifford.at>
6 years agoAdd more documentation
Clifford Wolf [Tue, 6 Mar 2018 00:12:03 +0000 (01:12 +0100)]
Add more documentation

Signed-off-by: Clifford Wolf <clifford@clifford.at>
6 years agoAdd fib example using tasks
Clifford Wolf [Mon, 5 Mar 2018 23:03:54 +0000 (00:03 +0100)]
Add fib example using tasks

Signed-off-by: Clifford Wolf <clifford@clifford.at>
6 years agoSlightly change tasks syntax
Clifford Wolf [Mon, 5 Mar 2018 23:01:55 +0000 (00:01 +0100)]
Slightly change tasks syntax

Signed-off-by: Clifford Wolf <clifford@clifford.at>
6 years agoAdd documentation for [tasks] section
Clifford Wolf [Mon, 5 Mar 2018 12:09:40 +0000 (13:09 +0100)]
Add documentation for [tasks] section

6 years agoAdd tasks in .sby files
Clifford Wolf [Mon, 5 Mar 2018 12:09:20 +0000 (13:09 +0100)]
Add tasks in .sby files

Signed-off-by: Clifford Wolf <clifford@clifford.at>
6 years agoAdd multiclock option
Clifford Wolf [Sun, 4 Mar 2018 13:09:16 +0000 (14:09 +0100)]
Add multiclock option

Signed-off-by: Clifford Wolf <clifford@clifford.at>
6 years agoAdd smtbmc --stdt option
Clifford Wolf [Sun, 4 Mar 2018 13:08:55 +0000 (14:08 +0100)]
Add smtbmc --stdt option

Signed-off-by: Clifford Wolf <clifford@clifford.at>
6 years agoFix --dump-smt2 trace name in cover mode
Clifford Wolf [Sat, 3 Mar 2018 18:59:06 +0000 (19:59 +0100)]
Fix --dump-smt2 trace name in cover mode

Signed-off-by: Clifford Wolf <clifford@clifford.at>
6 years agoAdd primegen example
Clifford Wolf [Sat, 3 Mar 2018 18:58:35 +0000 (19:58 +0100)]
Add primegen example

Signed-off-by: Clifford Wolf <clifford@clifford.at>
6 years agoAdd wolf_goat_cabbage.sby
Clifford Wolf [Sat, 3 Mar 2018 18:28:26 +0000 (19:28 +0100)]
Add wolf_goat_cabbage.sby

Signed-off-by: Clifford Wolf <clifford@clifford.at>
6 years agoAdd engines documentation
Clifford Wolf [Sat, 3 Mar 2018 14:54:00 +0000 (15:54 +0100)]
Add engines documentation

Signed-off-by: Clifford Wolf <clifford@clifford.at>
6 years agoMerge pull request #4 from daveshah1/fix_filetop
Clifford Wolf [Mon, 22 Jan 2018 13:46:25 +0000 (14:46 +0100)]
Merge pull request #4 from daveshah1/fix_filetop

Ignore whitespace at top of file

6 years agoIgnore whitespace at top of file
David Shah [Mon, 22 Jan 2018 13:00:32 +0000 (13:00 +0000)]
Ignore whitespace at top of file

Signed-off-by: David Shah <davey1576@gmail.com>
6 years agoImprove handling of comments in .sby files
Clifford Wolf [Fri, 19 Jan 2018 13:26:42 +0000 (14:26 +0100)]
Improve handling of comments in .sby files

6 years agoAdd DESTDIR and PREFIX to Makefile
Clifford Wolf [Wed, 17 Jan 2018 13:35:46 +0000 (14:35 +0100)]
Add DESTDIR and PREFIX to Makefile

6 years agoDisable unrolling per default for z3
Clifford Wolf [Thu, 14 Dec 2017 01:12:08 +0000 (02:12 +0100)]
Disable unrolling per default for z3

6 years agoAdd dpmem multiclk example
Clifford Wolf [Wed, 13 Dec 2017 18:17:20 +0000 (19:17 +0100)]
Add dpmem multiclk example

6 years agoMake --presat and --unroll the default for smtbmc
Clifford Wolf [Tue, 5 Dec 2017 16:16:38 +0000 (17:16 +0100)]
Make --presat and --unroll the default for smtbmc

6 years agoAdd "sby -t", improve handling of stdin
Clifford Wolf [Fri, 24 Nov 2017 19:12:58 +0000 (20:12 +0100)]
Add "sby -t", improve handling of stdin

6 years agoMerge pull request #2 from awygle/scriptability
Clifford Wolf [Fri, 24 Nov 2017 18:58:39 +0000 (19:58 +0100)]
Merge pull request #2 from awygle/scriptability

Support parsing sby file from stdin

6 years agoMinimum-modification change for stdin support
Andrew Wygle [Fri, 24 Nov 2017 17:39:41 +0000 (09:39 -0800)]
Minimum-modification change for stdin support

7 years agoAdd missing prerequisites to quickstart guide
Clifford Wolf [Sat, 28 Oct 2017 12:01:42 +0000 (14:01 +0200)]
Add missing prerequisites to quickstart guide