From 035f778121c179e0712e6c81f19195d0ab2c2f35 Mon Sep 17 00:00:00 2001 From: Clifford Wolf Date: Fri, 6 Apr 2018 14:37:43 +0200 Subject: Add documentation for anyconst/anyseq/allconst/allseq attribute Signed-off-by: Clifford Wolf --- README.md | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'README.md') diff --git a/README.md b/README.md index 514d8e2f7..2a7a3b6ee 100644 --- a/README.md +++ b/README.md @@ -402,6 +402,10 @@ Non-standard or SystemVerilog features for formal verification statements it is sufficient if just one ``$allconst/$allseq`` value triggers the property (similar to ``$anyconst/$anyseq``). +- Wires/registers decalred using the ``anyconst/anyseq/allconst/allseq`` attribute + (for example ``(* anyconst *) reg [7:0] foobar;``) will behave as if driven + by a ``$anyconst/$anyseq/$allconst/$allseq`` function. + - The SystemVerilog tasks ``$past``, ``$stable``, ``$rose`` and ``$fell`` are supported in any clocked block. -- cgit v1.2.3 From 5b9f73cd91a899a209b79e72a1030864b2f53317 Mon Sep 17 00:00:00 2001 From: Johnny Sorocil Date: Sun, 6 May 2018 18:22:18 +0200 Subject: update README --- README.md | 8 ++++++++ 1 file changed, 8 insertions(+) (limited to 'README.md') diff --git a/README.md b/README.md index 2a7a3b6ee..d5184bd7d 100644 --- a/README.md +++ b/README.md @@ -61,6 +61,14 @@ Similarily, on Mac OS X MacPorts or Homebrew can be used to install dependencies $ sudo port install bison flex readline gawk libffi \ git mercurial graphviz pkgconfig python36 +On FreeBSD use the following command to install all prerequisites: + + # pkg install bison flex readline gawk libffi\ + git mercurial graphviz pkgconfig python3 python36 tcl-wrapper + +On FreeBSD system use gmake instead of make. To run tests use: + % MAKE=gmake CC=cc gmake test + There are also pre-compiled Yosys binary packages for Ubuntu and Win32 as well as a source distribution for Visual Studio. Visit the Yosys download page for more information: http://www.clifford.at/yosys/download.html -- cgit v1.2.3 From 4b6c0e331d0ef4188f8fa2443f8f7999231af052 Mon Sep 17 00:00:00 2001 From: Clifford Wolf Date: Tue, 15 May 2018 14:19:05 +0200 Subject: Remove mercurial from build instructions Signed-off-by: Clifford Wolf --- README.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'README.md') diff --git a/README.md b/README.md index d5184bd7d..704948e2d 100644 --- a/README.md +++ b/README.md @@ -52,19 +52,19 @@ For example on Ubuntu Linux 16.04 LTS the following commands will install all prerequisites for building yosys: $ sudo apt-get install build-essential clang bison flex \ - libreadline-dev gawk tcl-dev libffi-dev git mercurial \ + libreadline-dev gawk tcl-dev libffi-dev git \ graphviz xdot pkg-config python3 Similarily, on Mac OS X MacPorts or Homebrew can be used to install dependencies: $ brew tap Homebrew/bundle && brew bundle $ sudo port install bison flex readline gawk libffi \ - git mercurial graphviz pkgconfig python36 + git graphviz pkgconfig python36 On FreeBSD use the following command to install all prerequisites: # pkg install bison flex readline gawk libffi\ - git mercurial graphviz pkgconfig python3 python36 tcl-wrapper + git graphviz pkgconfig python3 python36 tcl-wrapper On FreeBSD system use gmake instead of make. To run tests use: % MAKE=gmake CC=cc gmake test -- cgit v1.2.3 From 4372cf690d829755279a6a5778023e5e0a4493b2 Mon Sep 17 00:00:00 2001 From: Clifford Wolf Date: Fri, 1 Jun 2018 13:25:42 +0200 Subject: Add (* gclk *) attribute support Signed-off-by: Clifford Wolf --- README.md | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'README.md') diff --git a/README.md b/README.md index 704948e2d..c02691d94 100644 --- a/README.md +++ b/README.md @@ -418,7 +418,9 @@ Non-standard or SystemVerilog features for formal verification supported in any clocked block. - The syntax ``@($global_clock)`` can be used to create FFs that have no - explicit clock input ($ff cells). + explicit clock input ($ff cells). The same can be achieved by using + ``@(posedge )`` or ``@(negedge )`` when ```` + is marked with the ``(* gclk *)`` Verilog attribute. Supported features from SystemVerilog -- cgit v1.2.3 From da53206cd4b1e32d8bf29bb33cdfec81d614525e Mon Sep 17 00:00:00 2001 From: Konrad Beckmann Date: Mon, 6 Aug 2018 13:30:33 +0900 Subject: readme: Fix formatting of a keyword Single quotes were used instead of backticks leading to incorrect formatting. --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'README.md') diff --git a/README.md b/README.md index c02691d94..424d9bbf2 100644 --- a/README.md +++ b/README.md @@ -389,7 +389,7 @@ Verilog Attributes and non-standard features Non-standard or SystemVerilog features for formal verification ============================================================== -- Support for ``assert``, ``assume``, ``restrict``, and ``cover'' is enabled +- Support for ``assert``, ``assume``, ``restrict``, and ``cover`` is enabled when ``read_verilog`` is called with ``-formal``. - The system task ``$initstate`` evaluates to 1 in the initial state and -- cgit v1.2.3