List of all items

Structs

• aig::aig_hasher::AigHasher
• aig::bulk_replace::SubstitutionMap
• aig::cut_db_rewrite::RewriteOptions
• aig::dynamic_depth::DynamicDepthState
• aig::dynamic_structural_hash::DynamicStructuralHash
• aig::fraig::FraigIterationStat
• aig::gate::AigBitVector
• aig::gate::AigOperand
• aig::gate::AigRef
• aig::gate::GateFn
• aig::gate::Input
• aig::gate::Output
• aig::gate::Split
• aig::get_summary_stats::AigStats
• aig::get_summary_stats::GateDepthStats
• aig::get_summary_stats::LevelCriticalPathAnds
• aig::get_summary_stats::SummaryStats
• aig::graph_logical_effort::GraphLogicalEffortOptions
• aig::graph_logical_effort::LogicalEffortAnalysis
• aig::logical_effort::Options
• aig::match_and_rewrite::OperandPattern
• aig::match_and_rewrite::PatternRewrite
• aig::table::AreaTableReport
• aig::table::AreaTableRow
• aig::table::OpcodeAreaTableReport
• aig::table::OpcodeAreaTableRow
• aig::table::UnattributedAreaTableRow
• aig_serdes::gate2ir::GateFnInterfacePort
• aig_serdes::gate2ir::GateFnInterfaceSchema
• aig_serdes::gate_parser::ParseError
• aig_serdes::load_aiger::LoadAigerResult
• aig_sim::count_toggles::NodeToggleStats
• aig_sim::count_toggles::ToggleActivityStats
• aig_sim::count_toggles::ToggleStats
• aig_sim::count_toggles::WeightedSwitchingOptions
• aig_sim::count_toggles::WeightedSwitchingStats
• aig_sim::gate_sim::GateSimResult
• aig_sim::gate_simd::GateSimdResult
• aig_sim::gate_simd::Vec256
• cut_db::enumerate::EnumerateOptions
• cut_db::enumerate::FullSpaceDb
• cut_db::fragment::GateFnFragment
• cut_db::fragment::Lit
• cut_db::loader::CutDb
• cut_db::loader::DenseInfo
• cut_db::npn::NpnTransform
• cut_db::npn::Perm4
• cut_db::pareto::ParetoPoint
• cut_db::serdes::CanonDbOnDisk
• cut_db::serdes::CanonDbOnDiskV1
• cut_db::serdes::CanonEntry
• cut_db::tt16::TruthTable16
• diverse_samples::DiverseSampleSelectionEntry
• diverse_samples::DiverseSamplesOptions
• diverse_samples::NewHashDetail
• dslx_stitch_pipeline::StitchPipelineOptions
• gate_builder::FullAdderOutput
• gate_builder::GateBuilder
• gate_builder::GateBuilderOptions
• gate_builder::HalfAdderOutput
• gate_fn_equiv_report::EquivReport
• gatify::ir2gate::GatifyOptions
• gatify::ir2gate::GatifyOutput
• gatify::mul_by_const_csd::SignedDigitTerm
• gatify::prep_for_gatify::PrepForGatifyOptions
• ir2gate_utils::ArrayAddResult
• ir2gates::Ir2GatesOptions
• ir2gates::Ir2GatesOutput
• ir_aig_sharing::CandidateProof
• ir_aig_sharing::IrAigEquivalenceCandidate
• ir_aig_sharing::IrAigSharingOptions
• liberty::cell_formula::EmitContext
• liberty::indexed::IndexedLibrary
• liberty::liberty_parser::Block
• liberty::liberty_parser::BlockAttr
• liberty::liberty_parser::CharReader
• liberty::liberty_parser::LibertyParser
• liberty::liberty_to_proto::ThresholdVoltageGroupRule
• liberty::load::Library
• liberty::load::LibraryWithTimingData
• liberty::load::TimingTableSummary
• liberty::query::QueryMatch
• liberty::query::QueryStep
• liberty::timing_table::TimingTableArrayView
• liberty_proto::Cell
• liberty_proto::ClockGate
• liberty_proto::Library
• liberty_proto::LibraryUnits
• liberty_proto::LuTableTemplate
• liberty_proto::Pin
• liberty_proto::Sequential
• liberty_proto::TimingArc
• liberty_proto::TimingTable
• mcmc_logic::Cost
• mcmc_logic::McmcContext
• netlist::cone::ConeVisit
• netlist::connectivity::BlockPortBoundary
• netlist::connectivity::InstancePortInfo
• netlist::connectivity::NetNeighbors
• netlist::connectivity::NetlistConnectivity
• netlist::gatefn_from_netlist::GateFnProjectOptions
• netlist::gv2aig::Gv2AigOptions
• netlist::integrity::StructuralAssignValidationError
• netlist::io::ParsedNetlist
• netlist::parse::InstIndex
• netlist::parse::Net
• netlist::parse::NetIndex
• netlist::parse::NetlistAssign
• netlist::parse::NetlistInstance
• netlist::parse::NetlistModule
• netlist::parse::NetlistPort
• netlist::parse::Parser
• netlist::parse::Pos
• netlist::parse::ScanError
• netlist::parse::Span
• netlist::parse::Token
• netlist::parse::TokenScanner
• netlist::report::CellAreaRow
• netlist::report::NetlistAreaReport
• netlist::report::NetlistReport
• netlist::report::NetlistStaReport
• netlist::report::OutputTimingRow
• netlist::sta::EdgeTiming
• netlist::sta::SignalTiming
• netlist::sta::StaOptions
• netlist::sta::StaReport
• netlist::stats::NetlistStats
• netlist::techmap::StructuralMappedNetlist
• netlist::techmap::StructuralTechMapOptions
• process_ir_path::CanonicalG8rArtifacts
• process_ir_path::CanonicalG8rLoweringArtifacts
• process_ir_path::CanonicalG8rOptions
• process_ir_path::IndependentOpEntry
• process_ir_path::IndependentOpStats
• process_ir_path::Ir2GatesSummaryStats
• process_ir_path::Options
• propose_equiv::SimulationSignature
• prove_gate_fn_equiv_sat::Ctx
• prove_gate_fn_equiv_sat::ValidationResult
• result_proto::DidConverge
• result_proto::FraigIterationStat
• result_proto::Ir2GatesSummaryStats
• result_proto::ToggleStats
• result_proto::did_converge::No
• result_proto::did_converge::Yes
• test_utils::InterestingIrOutputOrderingCase
• test_utils::InterestingIrRoundtripCase
• test_utils::LoadedInterestingIrOutputOrderingCase
• test_utils::LoadedInterestingIrRoundtripCase
• test_utils::LoadedSample
• test_utils::TestGraph
• test_utils::TestGraphForConstantReplace
• test_utils::TestGraphForLivenessCheck
• test_utils::TestGraphForNonEquivReplace
• test_utils::TestGraphPaddedEqualDepthOppositePolarity
• test_utils::TestGraphWithMoreRedundancies
• test_utils::TestGraphWithRedundancies
• test_utils::TestInvalidGraphWithCycle
• test_utils::TestPartiallyEquivGraph
• transforms::and_absorb::AndAbsorbLeftTransform
• transforms::and_absorb::AndAbsorbRightTransform
• transforms::balance_and_tree::BalanceAndTreeTransform
• transforms::balance_and_tree::UnbalanceAndTreeTransform
• transforms::double_negate::DoubleNegateTransform
• transforms::duplicate::DuplicateGateTransform
• transforms::duplicate::UnduplicateGateTransform
• transforms::factor_shared_and::FactorSharedAndTransform
• transforms::factor_shared_and::UnfactorSharedAndTransform
• transforms::false_and::InsertFalseAndTransform
• transforms::false_and::RemoveFalseAndTransform
• transforms::merge_equiv_leaves::MergeEquivLeavesTransform
• transforms::push_negation::PushNegationTransform
• transforms::redundant_and::InsertRedundantAndTransform
• transforms::redundant_and::RemoveRedundantAndTransform
• transforms::rewire_operand::RewireOperandTransform
• transforms::rotate_and::RotateAndLeftTransform
• transforms::rotate_and::RotateAndRightTransform
• transforms::split_fanout::MergeFanoutTransform
• transforms::split_fanout::SplitFanoutTransform
• transforms::swap_operands::SwapOperandsTransform
• transforms::swap_outputs::SwapOutputBitsTransform
• transforms::toggle_operand_negation::ToggleOperandNegationTransform
• transforms::toggle_output::ToggleOutputBitTransform
• transforms::true_and::InsertTrueAndTransform
• transforms::true_and::RemoveTrueAndTransform

Enums

• aig::cut_db_rewrite::CutDbRewriteMode
• aig::dynamic_structural_hash::EdgeRef
• aig::fraig::DidConverge
• aig::fraig::IterationBounds
• aig::gate::AigNode
• aig::match_and_rewrite::GatePattern
• aig::match_and_rewrite::NegatedPattern
• aig::match_and_rewrite::Pattern
• aig::match_and_rewrite::Rewrite
• aig_serdes::emit_netlist::NetlistPortStyle
• aig_sim::count_toggles::ToggleNodeKind
• aig_sim::gate_sim::Collect
• check_equivalence::IrCheckResult
• cut_db::fragment::FragmentNode
• cut_db::loader::LoadError
• cut_db::serdes::BuildDenseError
• gate_builder::ReductionKind
• gate_fn_equiv_report::EngineResult
• gatify::ir2gate::ArrayIndexLoweringStrategy
• gatify::ir2gate::CmpKind
• gatify::ir2gate::Signedness
• gatify::mul_by_const_csd::SignedDigitSign
• ir2gate_utils::AdderMapping
• ir2gate_utils::Direction
• ir2gate_utils::PrefixScanStrategy
• ir_aig_sharing::CandidateProofResult
• ir_aig_sharing::IrAigCandidateRhs
• liberty::cell_formula::Term
• liberty::liberty_parser::BlockMember
• liberty::liberty_parser::Value
• liberty::query::Axis
• liberty::timing_table::TimingTableArrayError
• liberty_proto::PinDirection
• liberty_proto::SequentialKind
• mcmc_logic::Objective
• netlist::cone::ConeError
• netlist::cone::StopCondition
• netlist::cone::TraversalDirection
• netlist::integrity::IntegrityFinding
• netlist::integrity::IntegritySummary
• netlist::parse::AnnotationValue
• netlist::parse::AssignExpr
• netlist::parse::Keyword
• netlist::parse::NetRef
• netlist::parse::PortDirection
• netlist::parse::TokenPayload
• propose_equiv::EquivNode
• prove_gate_fn_equiv_common::EquivResult
• prove_gate_fn_equiv_common::GateFormalBackend
• prove_gate_fn_equiv_sat::ValidationError
• result_proto::did_converge::Result
• test_utils::Opt
• transforms::transform_trait::TransformDirection
• transforms::transform_trait::TransformKind
• transforms::transform_trait::TransformLocation
• verilog_version::VerilogVersion

Traits

• transforms::transform_trait::Transform

Macros

• assert_within

Functions

• aig::aig_simplify::operand_simplify
• aig::bulk_replace::bulk_replace
• aig::bulk_replace::bulk_substitute
• aig::cut_db_rewrite::rewrite_gatefn_with_cut_db
• aig::dce::dce
• aig::dce::dce_safe
• aig::fanout::fanout_histogram
• aig::find_structures::find_structures
• aig::fraig::fraig_optimize
• aig::fraig::fraig_optimize_with_backend
• aig::get_summary_stats::get_aig_stats
• aig::get_summary_stats::get_gate_depth
• aig::get_summary_stats::get_level_critical_path_and_nodes
• aig::get_summary_stats::get_level_critical_path_ands
• aig::get_summary_stats::get_summary_stats
• aig::graph_logical_effort::analyze_graph_logical_effort
• aig::graph_logical_effort::eff_with_branch
• aig::logical_effort::compute_logical_effort_min_delay
• aig::match_and_rewrite::parse
• aig::table::build_area_table_report
• aig::table::build_critical_path_area_table_report
• aig::table::build_critical_path_opcode_area_table_report
• aig::table::build_opcode_area_table_report
• aig::topo::debug_assert_no_cycles
• aig::topo::extract_cone
• aig::topo::post_order_operands
• aig::topo::postorder_for_aig_ref
• aig::topo::postorder_for_aig_refs_node_only
• aig::topo::reaches_target
• aig::topo::topo_order_and_cycle_check
• aig::topo::topo_sort_refs
• aig_serdes::emit_aiger::emit_aiger
• aig_serdes::emit_aiger_binary::emit_aiger_binary
• aig_serdes::emit_netlist::emit_netlist
• aig_serdes::emit_netlist::emit_netlist_with_version
• aig_serdes::emit_netlist::emit_netlist_with_version_and_port_style
• aig_serdes::gate2ir::gate_fn_to_xlsynth_ir
• aig_serdes::gate2ir::repack_gate_fn_inputs_with_schema
• aig_serdes::gate2ir::repack_gate_fn_interface_with_schema
• aig_serdes::gate_parser::parse_gate_fn
• aig_serdes::load_aiger::load_aiger
• aig_serdes::load_aiger::load_aiger_from_path
• aig_serdes::load_aiger_auto::load_aiger_auto
• aig_serdes::load_aiger_auto::load_aiger_auto_from_path
• aig_serdes::load_aiger_binary::load_aiger_binary
• aig_serdes::load_aiger_binary::load_aiger_binary_from_path
• aig_sim::count_toggles::count_toggle_activity
• aig_sim::count_toggles::count_toggles
• aig_sim::count_toggles::count_weighted_switching
• aig_sim::gate_sim::eval
• aig_sim::gate_simd::eval
• aig_sim::gate_simd::eval_all_node_values
• aig_sim::gate_simd::eval_correctness_distance
• aig_sim::gate_simd::eval_live_node_values_dense_into
• aig_sim::gate_simd::eval_ordered_batch
• aig_sim::gate_simd::validate_ordered_batch_inputs
• check_equivalence::check_equivalence
• check_equivalence::check_equivalence_with_top
• check_equivalence::prove_same_gate_fn_via_ir
• check_equivalence::prove_same_gate_fn_via_ir_status
• check_equivalence::validate_same_fn
• check_equivalence::validate_same_signature
• cut_db::enumerate::enumerate_full_space
• cut_db::npn::canon_tt16
• cut_db::npn::pack_npn_transform
• cut_db::npn::transform_tt16
• cut_db::npn::unpack_npn_transform
• cut_db::pareto::dominates
• cut_db::pareto::same_cost
• cut_db::serdes::build_dense_from_entries
• cut_db::serdes::canon_from_full_space
• cut_db::serdes::pack_dense_info
• cut_db::serdes::upgrade_v1_to_v2
• cut_db::tt16::decode_assignment
• cut_db::tt16::encode_assignment
• diverse_samples::select_ir_diverse_samples
• diverse_samples::select_ir_diverse_samples_with_options
• diverse_samples::select_ir_diverse_samples_with_signature_depth
• dslx_stitch_pipeline::stitch_pipeline
• gate_fn_equiv_report::prove_gate_fn_equiv_report
• gatify::ir2gate::gatify
• gatify::ir2gate::gatify_node_as_fn
• gatify::ir2gate::gatify_prepared_fn
• gatify::ir2gate::gatify_scmp
• gatify::ir2gate::gatify_scmp_via_bit_tests
• gatify::ir2gate::gatify_ucmp_via_bit_tests
• gatify::ir2gate::gatify_uge_via_bit_tests
• gatify::ir2gate::gatify_ugt_via_bit_tests
• gatify::ir2gate::gatify_ule_via_adder
• gatify::ir2gate::gatify_ule_via_bit_tests
• gatify::ir2gate::gatify_ult_via_bit_tests
• gatify::mul_by_const_csd::decompose_umul_const_terms
• gatify::prep_for_gatify::prep_for_gatify
• ir2gate_utils::array_add
• ir2gate_utils::array_add_with_carry_out
• ir2gate_utils::gatify_add_brent_kung
• ir2gate_utils::gatify_add_carry_select
• ir2gate_utils::gatify_add_kogge_stone
• ir2gate_utils::gatify_add_ripple_carry
• ir2gate_utils::gatify_barrel_shifter
• ir2gate_utils::gatify_clz
• ir2gate_utils::gatify_indexed_select_mux_tree_exact
• ir2gate_utils::gatify_indexed_select_mux_tree_pad_last_if_type_fits
• ir2gate_utils::gatify_mask_low
• ir2gate_utils::gatify_one_hot
• ir2gate_utils::gatify_one_hot_for_area
• ir2gate_utils::gatify_one_hot_for_depth
• ir2gate_utils::gatify_one_hot_select
• ir2gate_utils::gatify_one_hot_with_nonzero_flag
• ir2gate_utils::gatify_one_hot_with_nonzero_flag_for_area
• ir2gate_utils::gatify_one_hot_with_nonzero_flag_for_depth
• ir2gate_utils::gatify_one_hot_with_nonzero_flag_prefix_strategy
• ir2gate_utils::gatify_prio_encode
• ir2gates::ir2gates_from_ir_text
• ir_aig_sharing::confirm_or_deny_candidate_equivalence
• ir_aig_sharing::get_equivalences
• ir_aig_sharing::prove_equivalence_candidates_cadical
• ir_aig_sharing::prove_equivalence_candidates_cadical_streaming
• ir_aig_sharing::prove_equivalence_candidates_varisat
• ir_aig_sharing::prove_equivalence_candidates_varisat_streaming
• ir_aig_sharing::prove_equivalence_candidates_with_backend_streaming
• liberty::cell_formula::parse_formula
• liberty::descriptor::liberty_descriptor_pool
• liberty::liberty_to_proto::parse_liberty_files_to_proto
• liberty::liberty_to_proto::parse_liberty_files_to_proto_with_vt_rules
• liberty::liberty_to_proto::parse_liberty_files_to_proto_without_timing_validation
• liberty::liberty_to_proto::validate_library_consistency
• liberty::load::count_timing_tables
• liberty::load::count_timing_values
• liberty::load::decode_timing_table_summary_skip_values_from_bytes
• liberty::load::load_library_from_path
• liberty::load::load_library_with_timing_data_from_path
• liberty::load::strip_timing_data
• liberty::query::parse_liberty_file_to_ast
• liberty::query::parse_query
• liberty::query::run_query
• liberty::util::human_readable_size
• mcmc_logic::build_transform_weights
• mcmc_logic::cost
• mcmc_logic::load_start
• mcmc_logic::mcmc
• mcmc_logic::mcmc_iteration
• mcmc_logic::oracle_equiv_sat
• mcmc_logic::oracle_equiv_sat_with_backend
• netlist::assigns_to_gatefn::project_gatefn_from_structural_assigns
• netlist::bench_synth_netlist::make_chain_netlist
• netlist::cone::visit_module_cone
• netlist::connectivity::build_module_port_directions
• netlist::emit::emit_module_as_netlist_text
• netlist::gatefn_from_netlist::project_gatefn_from_netlist_and_liberty
• netlist::gatefn_from_netlist::project_gatefn_from_netlist_and_liberty_with_options
• netlist::gv2aig::convert_gv2aig_paths
• netlist::gv2aig::convert_gv2aig_paths_with_optional_liberty
• netlist::gv2block::convert_gv2block_paths
• netlist::gv2block::convert_gv2block_paths_to_string
• netlist::gv2ir::convert_gv2ir_paths
• netlist::integrity::check_module
• netlist::integrity::validate_structural_assign_module
• netlist::io::load_liberty_from_path
• netlist::io::load_liberty_with_timing_data_from_path
• netlist::io::parse_netlist_from_path
• netlist::report::build_area_report
• netlist::report::build_netlist_report
• netlist::report::build_sta_report
• netlist::report::resolve_symbol
• netlist::report::select_module
• netlist::sta::analyze_combinational_max_arrival
• netlist::sta::validate_output_pin_for_basic_sta
• netlist::stats::read_netlist_stats
• netlist::techmap::map_gatefn_to_structural_netlist
• netlist::utils::instance_names_and_types
• netlist::utils::module_instance_names_and_types
• process_ir_path::canonical_ir_text_to_g8r_artifacts
• process_ir_path::canonical_ir_text_to_g8r_lowering_artifacts
• process_ir_path::process_ir_path_for_cli
• process_ir_path::process_ir_path_with_gatefn
• process_ir_path::process_ir_text_with_gatefn
• propose_equiv::propose_equivalence_classes
• prove_gate_fn_equiv_sat::prove_gate_fn_equiv
• prove_gate_fn_equiv_sat::prove_gate_fn_equiv_with_backend
• prove_gate_fn_equiv_sat::validate_equivalence_classes
• prove_gate_fn_equiv_sat::validate_equivalence_classes_presorted
• prove_gate_fn_equiv_sat::validate_equivalence_classes_presorted_with_backend
• prove_gate_fn_equiv_sat::validate_equivalence_classes_with_backend
• test_utils::flat_ir_bits_to_ir_value_bf16
• test_utils::interesting_ir_output_ordering_cases
• test_utils::interesting_ir_roundtrip_cases
• test_utils::ir_value_bf16_to_flat_ir_bits
• test_utils::load_bf16_add_sample
• test_utils::load_bf16_mul_sample
• test_utils::load_interesting_ir_output_ordering_case
• test_utils::load_interesting_ir_roundtrip_case
• test_utils::make_bf16
• test_utils::make_ripple_carry_adder
• test_utils::setup_graph_for_constant_replace
• test_utils::setup_graph_for_liveness_check
• test_utils::setup_graph_for_nonequiv_replace
• test_utils::setup_graph_with_more_redundancies
• test_utils::setup_graph_with_redundancies
• test_utils::setup_invalid_graph_with_cycle
• test_utils::setup_padded_graph_with_equal_depth_opposite_polarity
• test_utils::setup_partially_equiv_graph
• test_utils::setup_simple_graph
• test_utils::structurally_equivalent
• test_utils::within
• transforms::and_absorb::and_absorb_left_primitive
• transforms::and_absorb::and_absorb_right_primitive
• transforms::duplicate::duplicate
• transforms::duplicate::unduplicate
• transforms::factor_shared_and::factor_shared_and_primitive
• transforms::factor_shared_and::unfactor_shared_and_primitive
• transforms::false_and::insert_false_and_primitive
• transforms::false_and::remove_false_and_primitive
• transforms::get_all_transforms
• transforms::get_equiv_transforms
• transforms::push_negation::push_negation_primitive
• transforms::redundant_and::insert_redundant_and_primitive
• transforms::redundant_and::remove_redundant_and_primitive
• transforms::rewire_operand::rewire_operand_primitive
• transforms::rotate_and::rotate_and_left_primitive
• transforms::rotate_and::rotate_and_right_primitive
• transforms::split_fanout::merge_fanout_primitive
• transforms::split_fanout::split_fanout_primitive
• transforms::swap_outputs::swap_output_bits_primitive
• transforms::toggle_operand_negation::toggle_operand_negation_primitive
• transforms::true_and::insert_true_and_primitive
• transforms::true_and::remove_true_and_primitive
• use_count::get_id_to_use_count

Type Aliases

• aig::gate::PirNodeIds
• gatify::ir2gate::IrToGateMap
• mcmc_logic::Best
• mcmc_logic::IterationOutcomeDetails
• mcmc_logic::McmcIterationOutput
• mcmc_logic::McmcOptions
• mcmc_logic::McmcStats
• netlist::parse::NetId
• netlist::parse::PortId

Constants

• cut_db::fragment::CONST0_ID
• cut_db::fragment::FIRST_NODE_ID
• cut_db::fragment::INPUT_COUNT
• cut_db_cli_defaults::CUT_DB_REWRITE_MAX_CUTS_PER_NODE_CLI
• cut_db_cli_defaults::CUT_DB_REWRITE_MAX_ITERATIONS_CLI
• liberty::descriptor::LIBERTY_DESCRIPTOR
• process_ir_path::DEFAULT_MAX_FRAIG_SIM_SAMPLES
• prove_gate_fn_equiv_sat::CADICAL_CONFIG_ENV
• test_utils::BF16_EXPONENT_BITS
• test_utils::BF16_EXPONENT_MASK
• test_utils::BF16_FRACTION_BITS
• test_utils::BF16_FRACTION_MASK
• test_utils::BF16_TOTAL_BITS
• test_utils::DEPTH_TOLERANCE
• test_utils::NODE_TOLERANCE