VeRuGent
The tool is a DSL library for building Verilog's AST using the Rust programming language.
Rustプログラミング言語によるVerilogHDLコード構築DSLライブラリです
Copyright (C) 2019, K.Takano
License
Apache License (Version 2.0)
http://www.apache.org/licenses/LICENSE-2.0
What's VeRuGent? (VeRuGentとは？)
VeRuGent for "Verilog from Rust : Generation Toolkit"
and it is open-source library for constructing a Verilog HDL source code in Rust.
VeRuGentはVerilog from Rust : Generation Toolkitsの略称です。
RustによるVerilogHDLコード構築用ライブラリです。
VeRuGent does not synthesis of the source code.(Of course it does not do high-level synthesis)
This generates only Verilog code.
本ツールは論理合成は行いません。(高位合成も対象外です)
生成されるのは構築したVerilogのコードのみです。
VeRuGent is provides a light-weight AST construction method of Verilog HDL.
You can build up design written in Verilog HDL with less failure by using the Rust's high safety inspection function.
(At the moment, This functions and safety is insufficient. So ,it is future task to update this tools.)
簡易化したVerilogHDLのAST構築技術を提供します。Rustの持つ高い安全検査機能を利用することで、
破綻の少ないハードウェアコードの設計が可能です。
(現時点で、機能や安全性にやや不安が残るので今後の課題ということで…)
Requirements (推奨環境)
-
Rust 1.27.0 stable (or later)
-
rustc 1.27.0 (3eda71b00 2018-06-19) (or later)
-
cargo 1.27.0 (1e95190e5 2018-05-27) (or later)
Installation（導入）
Using raw code
1.Put the core file in the same directory as the source code.
コアファイルをソースコードと同じディレクトリに入れてください。
2.Add modules:
モジュールの追加
mod Verugent;
3.Declare the use of the core and macro within the block to be used.
ライブラリとマクロ使用の宣言をしてください。
#[macro_use]
use Verugent::core::*;
Using Library
1. Use Cargo's function to generate the project folder.
And add this code in cargo.toml file.
Cargoのプロジェクト生成機能を使ってプロジェクトフォルダを作成してください。
その後、cargo.tomlファイルに以下の記述を付け加えてください。
[dependencies]
Verugent = "0.1.3"
2. Declare the use of the core and macro within the block to be used.
下記のコードをmainファイルに記述してライブラリおよびマクロの使用宣言をしてください。
#[macro_use]
extern crate Verugent;
use Verugent::core::*;
It's only.
たったこれだけ！
Getting Started
You can find some examples in "example" directory in this repository.
リポジトリ内のexampleフォルダに作例が置かれていると思います。
Let's use Verugent as an example of LED lighting circuit.
この中のLED点灯回路の作例でVerugentを使用してみましょう。
If you want to know the contents of the LED circuit code written in Rust, Read led.rs file.
LED回路のコードが読みたい場合はled.rsを参照してください。
実行コマンドは、cargo run --example ledです。
Execution command is "cargo run --example led".
#[macro_use]
extern crate verugent;
use verugent::vcore::*;
fn main() {
led();
}
・
・
・
If you build and run this code, you can see the output verilog code as a result.
コードが実行されたらVerilogコードが出力されます。
module LED (
input CLK,
input RST,
input BTN1,
input BTN2,
output [7:0] LED
);
localparam IDLE = 0;
localparam RUN = 1;
localparam END = 2;
reg [31:0] State;
reg [31:0] State_Next;
assign LED = (State==RUN)? 8: 0;
always@(posedge CLK or posedge RST) begin
if (RST == 1) begin
State <= IDLE;
end
else begin
State <= State_Next
end
end
always@(posedge CLK) begin
case(State)
IDLE : begin
if(BTN1==1&&RST!=1)
State_Next <= RUN;
end
RUN : begin
if(BTN2==1)
State_Next <= END;
end
END : begin
State_Next <= IDLE;
end
endcase
end
endmodule
Method cheat sheet
wire, register, input and output port setting method
Input(&str, Box<E> or i32) Input port
Output(&str, Box<E> or i32) Output port
Reg_Output(&str, Box<E> or i32) Output port(register)
Inout(&str, Box<E> or i32) Inout port
Param(&str, i32) Global parameter
LParam(&str, i32) Local parameter
Wire(&str, Box<E> or i32) Wire setting
Reg(&str, Box<E> or i32) Register setting
Mem(&str, Box<E> or i32, Box<E> or i32) Array register setting
Control block method
Always(Always-AST struct) Always block setting
Function(Function-AST struct) Function block setting
Assign(Assign-AST struct) Assign block setting
In-block AST
Always:
--Drive edge setting--
Posedge(Box<E>) Drive always block(positive edge)
Negedge(Box<E>) Drive always block(negative edge)
Nonedge() Non drive signal
--Substitution setting--
non() Nonblocking substitution
block() Blocking substitution
Function:
func(&str, i32) Generate function
Input(&str, i32) Function input setting
own() Function name AST generate(using build function AST)
Assign:
_e(Box<E>) Assign AST setting
FSM(Finite State machine):
Clock_Reset(Box<E>, Box<E>) Clock and Reset signal setting for FSM to drive
State(&str) State register name setting
AddState(&str) Add new state
goto(&str) Designation of state transition destination
from(&str) Transition to current state
Current(&str) Change current state
Param(&str) Get parameter AST in fsm
Branch Method:
--if - else--
If(Box<E>, Vec<Box<E>>) If AST setting(if)
Else_If(Box<E>, Vec<Box<E>>) If AST setting(else if)
Else(Vec<Box<E>>) If AST setting(else)
--case--
Case(Box<E>) Case block setting
S(Box<E>, Vec<Box<E>>) Process for each "case label"
Common Items:
--method--
Form(Box<E>) In block formula
--Macro--
F!( Formula ) Operator syntax that
could not be implemented with overloading.
Formula --> = : Substitution
==: Equal
!=: Not equal
<=: More and equal
>=: Less and equal
< : More than
> : Less than
func_args!( (Box<E>)* ) Pass the coated argment in Box.
Update history
2017/09/20: Development started
2017/11/18: Add formula macro
2018/01/20: Add FSM making method
2018/06/30: Add Syntax decomposition and output function
2018/07/27: Release first product on Github
2018/09/15: FSM function's bugfix
2019/04/30: Add AXI Slave Lite interface generator and code generator
2019/07/07: Minor bugfix
2019/08/31: Bugfix at AXI-Lite port generator
2019/09/03: Adjustment of "Function" generator
2020/01/22: Add AXI Slave Full interface generator