neoh 0.1.0

A declarative HDL transpiler for rapid testbench development.
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61

#[derive(Debug, Clone, PartialEq)]
pub struct File { pub statements: Vec<Statement> }

#[derive(Debug, Clone, PartialEq)]
pub enum OutTarget { Variable(String), Literal(String) }

#[derive(Debug, Clone, PartialEq)]
pub enum Statement {
    Known(String, Vec<String>),
    Block(BlockDef),
    Piece(PieceDef),
    Testbench(TestbenchDef),
    Testgroup(TestGroupDef),
}

#[derive(Debug, Clone, PartialEq)]
pub struct BlockDef { pub name: String, pub params: Vec<String>, pub body: Vec<BlockStmt> }

#[derive(Debug, Clone, PartialEq)]
pub enum BlockStmt {
    RetAssign(RetAssign),
    PassParams(PassParams),
    RetVar(String),
    NestedBlock(BlockDef),
}

#[derive(Debug, Clone, PartialEq)]
pub struct RetAssign { pub target: String, pub expr: String, pub width: Option<WidthConstraint> }

#[derive(Debug, Clone, PartialEq)]
pub struct WidthConstraint { pub msb: u32, pub lsb: u32 }

#[derive(Debug, Clone, PartialEq)]
pub struct PassParams { pub inst_name: String, pub block_type: String, pub params: Vec<String> }

#[derive(Debug, Clone, PartialEq)]
pub struct PieceDef { pub name: String, pub members: Vec<(String, String)> }

#[derive(Debug, Clone, PartialEq)]
pub struct TestbenchDef { pub name: String, pub target: String, pub body: Vec<VerifCmd> }

#[derive(Debug, Clone, PartialEq)]
pub enum VerifCmd {
    Expect { time: u32, lhs: String, rhs: String },
    Pulse { len: String, gap: String },
    Watchfor { time_a: u32, lhs: String, rhs: String, time_b: u32, out: OutTarget },
    Write(WriteStmt),
    Put(PutStmt),
}

#[derive(Debug, Clone, PartialEq)]
pub struct WriteStmt { pub target: String, pub val: String }

#[derive(Debug, Clone, PartialEq)]
pub struct PutStmt { pub target: String, pub op: String, pub expr: String, pub width: Option<WidthConstraint> }

#[derive(Debug, Clone, PartialEq)]
pub struct TestGroupDef { pub name: String, pub items: Vec<GroupItem> }

#[derive(Debug, Clone, PartialEq)]
pub enum GroupItem { Do(String), Same(Vec<String>) }