cmtc 0.1.2

The cmtc compiler providing cmtir-based passes to generate backends including FIRRTL, SystemVerilog and simulators.
Documentation 
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

use cmtc::*;
use cmtrs::*;

itfc_declare! {

  struct RegInitTest{
    y: output Type::UInt(4),
  }
  method read() -> (y);
}

#[module]
fn reg_init_test() -> RegInitTest {
  let io = io! {};
  let reg = instance!(stl::reg_init(&Type::UInt(4), 2));

  let read = method!(
    () -> (io.y) {
      reg.read()
    }
  );

  let update = always! {
    () {
      reg.write(reg.read() + literal(1, &Type::UInt(4)));
    }
  };

  schedule!(read, update);
}

fn main() -> anyhow::Result<()> {
  utils::setup_logger();
  let mut reg = reg_init_test();
  // let mut reg = stl::reg_init(Type::Int(4));
  reg.set_name("RegInit".to_string());
  elaborate(reg, sv_config("tb/reg/reg_init.sv"))?;
  Ok(())
}