Skip to main content

xlsynth_g8r/
lib.rs

1// SPDX-License-Identifier: Apache-2.0
2
3#![feature(portable_simd)]
4
5pub mod aig;
6pub mod aig_serdes;
7pub mod aig_sim;
8pub mod gatify;
9pub mod ir_aig_sharing;
10
11pub mod check_equivalence;
12pub mod cut_db;
13pub mod cut_db_cli_defaults;
14pub mod diverse_samples;
15pub mod dslx_stitch_pipeline;
16pub mod gate_builder;
17pub mod gate_fn_equiv_report;
18pub mod ir2gate_utils;
19pub mod ir2gates;
20pub mod liberty;
21pub(crate) mod prefix_scan_utils;
22pub mod verilog_version;
23pub mod liberty_proto {
24    include!(concat!(env!("OUT_DIR"), "/liberty.rs"));
25}
26pub mod result_proto {
27    include!(concat!(env!("OUT_DIR"), "/g8r_results.rs"));
28}
29pub mod mcmc_logic;
30pub mod netlist;
31pub mod process_ir_path;
32pub mod propose_equiv;
33pub mod prove_gate_fn_equiv_common;
34pub mod prove_gate_fn_equiv_varisat;
35#[cfg(any(feature = "with-z3-system", feature = "with-z3-built"))]
36pub mod prove_gate_fn_equiv_z3;
37pub mod test_utils;
38pub mod transforms;
39pub mod use_count;