45个版本 (11个重大更新)

新功能 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.1.3 2022年12月23日

#543硬件支持

Download history 174/week @ 2024-05-06 14/week @ 2024-05-13 10/week @ 2024-05-20 188/week @ 2024-05-27 19/week @ 2024-06-03 12/week @ 2024-06-10 163/week @ 2024-06-24 139/week @ 2024-07-01 15/week @ 2024-07-08 5/week @ 2024-07-15 280/week @ 2024-07-29 238/week @ 2024-08-05 32/week @ 2024-08-12

每月550 次下载
4 crate 中使用

MIT/Apache

2.5MB
67K 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 许可证定义的,你有意提交的包含在工作中的任何贡献,应按上述方式双许可,不附加任何额外条款或条件。

依赖项

~19–32MB
~404K SLoC