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
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54

use indexmap::IndexSet;

use super::*;

/// SetSynthPass:
/// Set the modules that are not instances of any other non-tb modules as
/// synthesis target
pub struct SetSynthPass {
  modules_as_instances: IndexSet<String>,
}

impl SetSynthPass {
  pub fn new() -> Self {
    Self {
      modules_as_instances: IndexSet::new(),
    }
  }
}

impl Visitor for SetSynthPass {
  fn name() -> &'static str {
    "set-synth"
  }

  fn after_visit_rules(
    &mut self,
    data: &mut VisitorData,
  ) -> Result<(), anyhow::Error> {
    // iterate over all the instances of the module
    if !data.module.is_tb() {
      for instance in data.module.instances() {
        self.modules_as_instances.insert(instance.module.clone());
      }
    }

    Ok(())
  }

  fn after_visit_modules(
    &mut self,
    circuit: &mut crate::Circuit,
  ) -> Result<(), anyhow::Error> {
    // iterate over all the modules in the circuit
    for module in circuit.modules_mut() {
      if !self.modules_as_instances.contains(&module.name)
        && !module.is_tb()
        && !module.is_virtual()
      {
        module.set_synthesis();
      }
    }
    Ok(())
  }
}