xlsynth-driver 0.43.0

Binary that integrates XLS capabilities into a driver program
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

// SPDX-License-Identifier: Apache-2.0

pub fn handle_g8r2v(matches: &clap::ArgMatches) -> Result<(), String> {
    let g8r_input_file = matches.get_one::<String>("g8r_input_file").unwrap();
    let add_clk_port = matches.get_one::<String>("add-clk-port").cloned();
    let flop_inputs = matches.get_flag("flop-inputs");
    let flop_outputs = matches.get_flag("flop-outputs");
    let use_system_verilog = matches.get_flag("use-system-verilog");
    let module_name_override = matches.get_one::<String>("module-name").cloned();

    if (flop_inputs || flop_outputs) && add_clk_port.is_none() {
        return Err(
            "--add-clk-port <NAME> is required when --flop-inputs or --flop-outputs is used."
                .to_string(),
        );
    }

    let g8r_contents = std::fs::read_to_string(g8r_input_file)
        .map_err(|e| format!("Failed to read .g8r file '{}': {}", g8r_input_file, e))?;
    let gate_fn = xlsynth_g8r::aig::GateFn::try_from(g8r_contents.as_str())
        .map_err(|e| format!("Failed to parse GateFn from '{}': {}", g8r_input_file, e))?;

    let final_module_name = module_name_override.as_deref().unwrap_or(&gate_fn.name);

    let netlist_str = xlsynth_g8r::aig_serdes::emit_netlist::emit_netlist(
        final_module_name,
        &gate_fn,
        flop_inputs,
        flop_outputs,
        use_system_verilog,
        add_clk_port,
    )?;

    println!("{}", netlist_str);
    Ok(())
}