#system-verilog #verilog #parser

app mdbook-veryl

现代硬件描述语言

30个版本 (10个重大更新)

0.12.0 2024年8月21日
0.11.1 2024年7月3日
0.8.1 2024年3月14日
0.5.6 2023年10月19日
0.5.5 2023年3月5日

#298硬件支持

Download history 143/week @ 2024-05-04 25/week @ 2024-05-11 11/week @ 2024-05-18 151/week @ 2024-05-25 18/week @ 2024-06-01 2/week @ 2024-06-08 126/week @ 2024-06-22 132/week @ 2024-06-29 8/week @ 2024-07-06 67/week @ 2024-07-27 189/week @ 2024-08-03 44/week @ 2024-08-10 145/week @ 2024-08-17

每月445 次下载

MIT/Apache

3MB
70K SLoC

Veryl

Actions Status Crates.io Changelog

Veryl是一种现代硬件描述语言。

该项目处于语言设计的探索阶段。如果您有任何想法,请打开 问题

概述

Veryl是一种基于SystemVerilog的硬件描述语言,提供以下优势

优化语法

Veryl采用针对逻辑设计优化的语法,同时基于SystemVerilog专家熟悉的基本语法。这种优化包括保证可综合性和确保仿真结果之间的一致性,并为常见习语提供许多语法简化。这种方法使学习变得容易,提高了设计过程的可靠性和效率,并促进了代码编写。

互操作性

考虑到与SystemVerilog的互操作性而设计,Veryl允许与现有的SystemVerilog组件和项目平滑集成和部分替换。此外,从Veryl转换的SystemVerilog源代码具有高可读性,使得集成和调试无缝进行。

生产力

Veryl附带了一套丰富的开发支持工具,包括软件包管理器、构建工具、与VSCode、Vim、Emacs等主要编辑器兼容的实时检查器、自动完成和自动格式化。这些工具加速了开发过程,显著提高了生产力。

具有这些功能,Veryl为设计师提供了强大的支持,使他们能够高效、高效地进行高质量的硬件设计。

示例

Veryl SystemVerilog
/// documentation comment by markdown format
/// * list item1
/// * list item2
pub module Delay #( // visibility control by `pub` keyword
    param WIDTH: u32 = 1, // trailing comma is allowed
) (
    i_clk : input clock       ,
    i_rst : input reset       ,
    i_data: input logic<WIDTH>,
    o_data: input logic<WIDTH>,
) {
    // unused variable which is not started with `_` are warned
    var _unused_variable: logic;

    // clock and reset signals can be omitted
    // because Veryl can infer these signals
    always_ff {
        // abstraction syntax of reset polarity and synchronicity
        if_reset {
            o_data = '0;
        } else {
            o_data = i_data;
        }
    }
}
// comment
//
//
module Delay #(
    parameter int WIDTH = 1
) (
    input              i_clk ,
    input              i_rst ,
    input  [WIDTH-1:0] i_data,
    output [WIDTH-1:0] o_data
);
    logic unused_variable;

    always_ff @ (posedge i_clk or negedge i_rst) begin
        if (!i_rst) begin
            o_data <= '0;
        end else begin
            o_data <= i_data;
        end
    end
endmodule

安装

文档

使用

// Create a new project
veryl new [project name]

// Create a new project in an existing directory
veryl init [path]

// Format the current project
veryl fmt

// Analyze the current project
veryl check

// Build target codes corresponding to the current project
veryl build

// Build the document corresponding to the current project
veryl doc

有关详细信息,请参阅 文档

许可证

根据您的选择,许可协议为以下之一

贡献

除非您明确说明,否则根据Apache-2.0许可证定义,您提交的任何有意包含在作品中的贡献,应双重许可如上所述,不附加任何其他条款或条件。

依赖项

~26–39MB
~525K SLoC