Skip to content

gmlarumbe/verilog-ext

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

MELPA MELPA Stable Build Status Build Status Build Status

verilog-ext.el - SystemVerilog Extensions for Emacs

This package provides useful extensions on top of verilog-mode and verilog-ts-mode.

Requirements

  • Emacs 29.1+
  • Latest verilog-mode version
  • Feature-specific binaries

Tree-sitter is optional but recommended and only required if using verilog-ts-mode for some of the features above.

For more info, see the wiki.

Installation

MELPA

verilog-ext is available on MELPA.

straight.el

To install it via straight with use-package:

(straight-use-package 'use-package)
(use-package verilog-ext)

Basic config

The most basic configuration just requires choosing which features you want to load, setup the minor-mode and add it as a hook for verilog-mode. By default all features are enabled:

;; Can also be set through `M-x RET customize-group RET verilog-ext':
;; Comment out/remove the ones you do not need
(setq verilog-ext-feature-list
      '(font-lock
        xref
        capf
        hierarchy
        eglot
        lsp
        lsp-bridge
        lspce
        flycheck
        beautify
        navigation
        template
        formatter
        compilation
        imenu
        which-func
        hideshow
        typedefs
        time-stamp
        block-end-comments
        ports))
(require 'verilog-ext)
(verilog-ext-mode-setup)
(add-hook 'verilog-mode-hook #'verilog-ext-mode)

If installed and loaded via use-package:

(use-package verilog-ext
  :hook ((verilog-mode . verilog-ext-mode))
  :init
  ;; Can also be set through `M-x RET customize-group RET verilog-ext':
  ;; Comment out/remove the ones you do not need
  (setq verilog-ext-feature-list
        '(font-lock
          xref
          capf
          hierarchy
          eglot
          lsp
          lsp-bridge
          lspce
          flycheck
          beautify
          navigation
          template
          formatter
          compilation
          imenu
          which-func
          hideshow
          typedefs
          time-stamp
          block-end-comments
          ports))
  :config
  (verilog-ext-mode-setup))

Keybindings

Enabling of verilog-ext-mode minor-mode creates the following keybindings:

  • Features:

    • C-c C-l verilog-ext-formatter-run
    • C-c <f5> verilog-ext-compile-project
    • C-c C-p verilog-ext-preprocess
    • C-c C-f verilog-ext-flycheck-mode
    • C-c C-t verilog-ext-hydra/body
    • C-c C-v verilog-ext-hierarchy-current-buffer
    • C-<tab> verilog-ext-hs-toggle-hiding
  • Code beautifying

    • C-M-i verilog-ext-beautify-block-at-point
    • C-c C-b verilog-ext-beautify-current-buffer
  • Dwim navigation

    • C-M-a verilog-ext-nav-beg-of-defun-dwim
    • C-M-e verilog-ext-nav-end-of-defun-dwim
    • C-M-d verilog-ext-nav-down-dwim
    • C-M-u verilog-ext-nav-up-dwim
    • C-M-p verilog-ext-nav-prev-dwim
    • C-M-n verilog-ext-nav-next-dwim
  • Module at point

    • C-c M-. verilog-ext-jump-to-module-at-point-def
    • C-c M-? verilog-ext-jump-to-module-at-point-ref
  • Jump to parent module

    • C-M-. verilog-ext-jump-to-parent-module
  • Port connections

    • C-c C-c c verilog-ext-ports-clean-blanks
    • C-c C-c t verilog-ext-ports-toggle-connect
    • C-c C-c r verilog-ext-ports-connect-recursively
  • Syntax table override functions:

    • TAB verilog-ext-tab
    • M-d verilog-ext-kill-word
    • M-f verilog-ext-forward-word
    • M-b verilog-ext-backward-word
    • C-<backspace> verilog-ext-backward-kill-word

Features

Tree-sitter

Some of the features that verilog-ext provides are based either on builtin verilog-mode Emacs lisp parsing or on tree-sitter verilog-ts-mode. These features are hierarchy extraction and project tags collection for completion and navigation of definitions and references.

Using tree-sitter as a backend is recommended as it is much faster, efficient and accurate than internal Emacs lisp parsing.

For information about installation of verilog-ts-mode check its repo.

Project management

The package provides the variable verilog-ext-project-alist to select which files belong to a specific project:

(setq verilog-ext-project-alist
      `(("ucontroller" ; Project name
         :root "/home/gonz/Repos/larumbe/ucontroller" ; supports remote dirs via Tramp
         :files ("src/my_block.sv"
                 "src/*.v") ; Multiple files can be specified through the glob pattern
         :dirs ("src/tb"
                "-r src/rtl" ; -r to add directories recursively
                "src/syn/*_block"
                "src/**/netlists") ; add all dirs that begin with "src" and end with "netlists"
         :ignore-dirs ("src/ignored_ip")
         :ignore-files ("src/some_ip/ignored_sim_netlist.v")
         :compile-cmd "make tb_top" ; command used to compile current project
         ;; `vhier' related properties
         :command-file "commands.f" ; vhier command file
         :lib-search-path nil)))    ; list of dirs to look for include directories or libraries

The different properties for each project entry determine which files will be used for some features of the package, such as completion, xref navigation, hierarchy extraction and compilation.

Syntax highlighting

For configuration information, see the wiki.

Find definitions and references

verilog-ext provides an xref backend to navigate definitions and references of current project.

For configuration information, see the wiki.

Auto-completion

Complete with tags from current project. Supports dot and scope completion for module signals, class attributes and methods.

For configuration information, see the wiki.

Hierarchy extraction

Hierarchy extraction of module at current buffer.

For configuration information, see the wiki.

Language Server Protocol

Auto-configure various SystemVerilog language servers for lsp-bridge, lsp-mode, eglot and lspce:

For configuration instructions, see the wiki

Linting

Support via flycheck for the following linters:

For configuration and usage instructions, see the wiki

Beautify instances

Indent blocks and align parameters and ports of RTL instances.

Interactive functions:

  • verilog-ext-beautify-block-at-point: C-M-i
  • verilog-ext-beautify-current-buffer: C-c C-b

Batch-mode functions:

  • verilog-ext-beautify-files
  • verilog-ext-beautify-dir-files: uses tree-sitter if run with prefix arg C-u

Navigation

Features:

  • Context aware dwim functions for RTL/Verification environments
  • Navigate instances inside a module
  • Jump to definition/references of module at point
  • Jump to parent module

For detailed info see the wiki.

Templates

Select among snippets that cover most frequently used SystemVerilog constructs:

Insert instances in current module from file:

Create basic testbench environment from DUT file:

UVM Agent template:

Functions:

  • verilog-ext-hydra/body: C-c C-t

Code formatter

Code-formatter setup via apheleia and verible-verilog-format.

See configuration in the wiki.

Compilation

Provides functions to perform compilations with syntax highlighting and jump to error, buffer preprocessing and makefile development:

  • verilog-ext-compile-project: C-c <f5>
  • verilog-ext-preprocess: C-c C-p
  • verilog-ext-compile-makefile

See configuration in the wiki.

Imenu

Support detection of instances and methods inside classes.

Instances:

Methods:

Find more information here.

Which-func

Enhanced which-func support: show current block/instance at point in the mode-line

Code folding

Code folding via hideshow: C-<tab>

Typedefs

Add support for syntax-higlighting and alignment via verilog-pretty-declarations of user defined types and classes.

For configuration see wiki

Time-stamp

Automatic update of header timestamp after file saving.

  • verilog-ext-time-stamp-mode

For configuration see wiki

Block-end comments

Auto convert block comments to names after file saving.

  • verilog-ext-block-end-comments-to-names-mode

Port connections

Toggle connections of ports under instance at point

  • verilog-ext-ports-toggle-connect: C-c C-c t
  • verilog-ext-ports-connect-recursively: C-c C-c r
  • verilog-ext-ports-clean-blanks: C-c C-c c

Misc

Wrapper functions to stop cursor at underscores without breaking indentation

  • verilog-ext-forward-word: M-f
  • verilog-ext-backward-word: M-b
  • verilog-ext-kill-word: M-d
  • verilog-ext-backward-kill-word: C-<backspace> and M-DEL

Contributing

Contributions are welcome! Just stick to common Elisp conventions and run the ERT suite after testing your changes and before submitting a new PR.

For new functionality add new ERT tests if possible.

Consider sponsoring to help maintaining the project and for the development of new features. Thank you!

ERT Tests

Setup

To run the whole ERT test suite change directory to the verilog-ext root and make sure test-hdl Git submodule has been loaded:

git submodule update --init

Targets

Then run the default target:

$ make

To run a subset of tests (e.g. navigation):

$ make TESTS=navigation

To regenerate all the expected outputs for the tests:

$ make gen

To regenerate the expected outputs for a group of tests (e.g. navigation):

$ make gen TESTS=navigation

Other packages