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. A lesser (but notable) objective is that the language-agnostic components of Verible be usable for rapidly developing language support tools for other languages.

Features

  • SystemVerilog Developer Tools
  • Style guide citations in diagnostics
  • Rule deck configurability
  • Waiver mechanisms: in-file, external waiver file
  • Github SystemVerilog linter action available
  • Corrects inter-token spacing, with syntax context awareness

Project Samples

Project Activity

See All Activity >

Categories

Language Servers

License

Apache License V2.0

Follow Verible

Verible Web Site

You Might Also Like
Gen AI apps are built with MongoDB Atlas Icon
Gen AI apps are built with MongoDB Atlas

Build gen AI apps with an all-in-one modern database: MongoDB Atlas

MongoDB Atlas provides built-in vector search and a flexible document model so developers can build, scale, and run gen AI apps without stitching together multiple databases. From LLM integration to semantic search, Atlas simplifies your AI architecture—and it’s free to get started.
Start Free
Rate This Project
Login To Rate This Project

User Reviews

Be the first to post a review of Verible!

Additional Project Details

Operating Systems

Linux, Windows

Programming Language

C++

Related Categories

C++ Language Servers

Registered

2023-04-24