Verible
The Verible project’s main mission is to parse SystemVerilog (IEEE 1800-2017)
(as standardized in the SV-LRM) for a wide variety of applications, including
developer tools.
It was born out of a need to parse un-preprocessed source files, which is
suitable for single-file applications like style-linting and formatting. In
doing so, it can be adapted to parse preprocessed source files, which is what
real compilers and toolchains require.
The spirit of the project is that no-one should ever have to develop a
SystemVerilog parser for their own application, because developing a
standard-compliant parser is an enormous task due to the syntactic complexity of
the language. Verible’s parser is also regularly tested against an ever-growing
suite of (tool-independent) language compliance tests at
https://symbiflow.github.io/sv-tests/.
A lesser (but notable) objective is that the language-agnostic components of
Verible be usable for rapidly developing language support tools for other
languages.
Installation
For simple installation, we provide regular binary releases for Linux and
Windows, including statically linked binaries for x86 and Arm to run on almost
any Linux distribution.
There are also some distributions that include Verible
- Nix has binaries for Linux x86 and Arm.
- There is a homebrew package for MacOS.
If you prefer to build and install the binaries locally yourself, see
details below in the Developers section.
Parser
Learn more about the parser implementation here.
We provide a standalone verible-verilog-syntax tool
to help with visualizing the syntax structure as understood by the lexer and
parser. This is very useful for troubleshooting and understand the internal
representations seen by the other tools.
The tool has an ability of exporting a concrete syntax tree in JSON format,
making use of it in external tools easy. There is also a
Python wrapper module and a few example scripts.
Style Linter
verible-verilog-lint identifies constructs or patterns
in code that are deemed undesirable according to a style guide. The main goal is
to relieve humans the burden of reviewing code for style compliance. Many
lint rules use syntax tree pattern matching to find style
violations.
Features:
Documentation:
The verible-verilog-format formatter manages
whitespace in accordance with a particular style. The main goal is to relieve
humans of having to manually manage whitespace, wrapping, and indentation, and
to provide a tool that can be integrated into any editor to enable
editor-independent consistency.
Features (various degress of work-in-progress):
- Corrects indentation
- Corrects inter-token spacing, with syntax context awareness
- Line-wrapping to a column limit
- Support for incremental formatting, only touched changed lines.
- Interactive formatting: accept or decline formatting changes
- Tabular alignment
- Github SystemVerilog formatter action available.
Language Server
The verible-verilog-ls is a language server that
provides the functionalities that come with the Verible command line tools
also directly in your editor.
It implements the standardized language server protocol that is supported
by a myriad of editors and IDEs.
The language server provides formatting and linting. If possible, it also
provides quick-fixes
Lexical Diff
verible-verilog-diff compares two input files for
equivalence.
verible-verilog-project is a multi-tool that
operates on whole Verilog projects, consisting of a file list and related
configurations. This serves as a diagnostic tool for analyzing (and potentially
transforming) project-level sources.
Code Obfuscator
verible-verilog-obfuscate transforms Verilog
code by replacing identifiers with obfuscated names of equal length, and
preserving all other text, including spaces. Output is written to stdout. The
resulting file size is the same as the original. This is useful for preparing
potentially sensitive test cases with tool vendors.
Preprocessor
verible-verilog-preprocessor is a collection
of preprocessor-like tools, (but does not include a fully-featured Verilog
preprocessor yet.)
Source Code Indexer
verible-verilog-kythe-extractor extracts indexing
facts from SV source code using the Kythe schema, which can
then enhance IDEs with linked cross-references for ease of source code
navigation.
Developers, Welcome
For source code browsing, we recommend using the fully-indexed and searchable
mirror at https://cs.opensource.google/verible/verible.
If you’d like to contribute, check out the contributing
guide and the development resources.
Build
Verible’s code base is written in C++.
To build, you need the bazel build system (get it from
bazel install if not already on your system) and a
C++20 compatible compiler.
Use your package manager to install the dependencies; on a system with
the nix package manager simply run nix-shell to get a build environment.
# Build all tools and libraries
bazel build -c opt //...
You can access the generated artifacts under bazel-bin/. For instance the
syntax checker will be at
bazel-bin/verible/verilog/tools/syntax/verible-verilog-syntax (corresponding to the
target name //verible/verilog/tools/syntax:verible-verilog-syntax).
Moreover, if you need statically linked executables that don’t depend on your
shared libraries, you can use custom config
create_static_linked_executables (with this setting bfd linker will be used,
instead of default gold linker).
# Generate statically linked executables.
# Uses bfd linker and needs static system libs available.
bazel build -c opt --config=create_static_linked_executables //...
See Installation for install.
Optionally using local flex/bison for build
Flex and Bison, that are needed for the parser generation, are compiled as part
of the build process. But if for any reason you want or need local tools (e.g.
if you encounter a compile problem with them - please file a bug then)
can choose so by adding --//bazel:use_local_flex_bison to your bazel
command line:
# Also append the option '--//bazel:use_local_flex_bison' to test/install commands
bazel build -c opt --//bazel:use_local_flex_bison //...
Building on Windows
In addition to Bazel & Visual Studio, building on Windows requires WinFlexBison 3 and Git-bash to be installed. Using package manager chocolatey, this can be done with
choco install git winflexbison3
Bazel may also require environment variable to use git-bash, on powershell
$env:BAZEL_SH="C:\Program Files\Git\git-bash.exe"
Installation
For simple installation, we provide regular binary releases.
If you prefer to build and install the binaries locally yourself:
bazel build -c opt :install-binaries
# Install in your home directory
.github/bin/simple-install.sh ~/bin
# For a system directory that requires root-access, call scfript with sudo.
sudo .github/bin/simple-install.sh /usr/local/bin
(this requies a compliant install utility, otherwise simply copy
the binaries from bazel-bin/ to your desired location)
Test
We strongly encourage running the test suite using bazel:
# Run all tests
bazel test -c opt //...
Whenever adding new features in file, say, foo.cc always make sure to also
update (or add) the corresponding foo_test.cc. Once you’ve written the
test, you can use .github/bin/generate-coverage-html.sh to double-check
that you have covered all code-paths in your test; narrow the coverage
run to your test to make sure coverage is not accidentally coming from
unrelated tests that happen to use the library:
MODE=coverage .github/bin/build-and-test.sh //foo/bar:foo_test
.github/bin/generate-coverage-html.sh
Mailing Lists
Join the Verible community!
Future
The Verible team is interested in exploring how it can help other tool
developers in providing a SystemVerilog front end, for example, emitting an
abstract syntax tree (AST) or possibly even provide more higher-level
UHDM format. If you are interested in collaborating, contact us.
评论