Index _ | A | B | C | D | E | F | G | H | I | L | M | N | O | P | R | S | T | U | W _ __and__() (TruthTable method) __assign__() (TruthTable method) __bool__() (Aig method) (CecStatus method), [1] __call__() (Balance method), [1] (Dc2 method) (Deepsyn method) (Fraig method) (Orchestrate method) (Refactor method) (Resub method), [1] (Rewrite method) (Syn2 method) (Syn3 method) (Syn4 method) (Transduction method) (Transtoch method) __contains__() (Aig method) __copy__() (Aig method) (AigCut method) (DepthAig method) (FanoutAig method) (NamedAig method) (SequentialAig method) (TruthTable method) __deepcopy__() (Aig method) (AigCut method) (DepthAig method) (FanoutAig method) (NamedAig method) (SequentialAig method) (TruthTable method) __eq__() (AigEdge method) (AigSignal method) (TruthTable method) __getitem__() (AigEdgeList method) (AigIndexList method) (TruthTable method) __getstate__() (Aig method) (SequentialAig method) (TruthTable method) __hash__() (AigSignal method) (TruthTable method) __invert__() (AigSignal method) (TruthTable method) __iter__() (Aig method) (AigEdgeList method) (AigIndexList method) (TruthTable method) __len__() (Aig method) (AigEdgeList method) (AigIndexList method) (SequentialSimulationResult method) (TruthTable method) __lt__() (AigSignal method) (TruthTable method) __ne__() (AigEdge method) (AigSignal method) (TruthTable method) __neg__() (AigSignal method) __or__() (TruthTable method) __pos__() (AigSignal method) __repr__() (CommandWrapper method) __setitem__() (AigEdgeList method) (AigIndexList method) (TruthTable method) __setstate__() (Aig method) (SequentialAig method) (TruthTable method) __str__() (Command method) __version__ (in module aigverse) __xor__() (AigSignal method) (TruthTable method) A abc_binary() (in module aigverse.abc) ABC_ENV_VAR (in module aigverse.abc) abc_rc() (in module aigverse.abc) ABC_RC_ENV_VAR (in module aigverse.abc) abc_version() (in module aigverse.abc) AbcError AbcExecutionError AbcNotFoundError AbcStats (class in aigverse.abc) AbcTimeoutError add_and() (AigIndexList method) add_inputs() (AigIndexList method) add_output() (AigIndexList method) add_xor() (AigIndexList method) Aig (class in aigverse.networks) aig_cut_rewriting() (in module aigverse.algorithms) aig_resubstitution() (in module aigverse.algorithms) AigCut (class in aigverse.networks) AigEdge (class in aigverse.networks) AigEdgeList (class in aigverse.networks) AigIndexList (class in aigverse.networks) AigRegister (class in aigverse.networks) AigSignal (class in aigverse.networks) aigverse module aigverse.abc module aigverse.abc.gia module aigverse.adapters module aigverse.adapters.networkx module aigverse.algorithms module aigverse.benchmarks module aigverse.generators module aigverse.io module aigverse.networks module aigverse.utils module append() (AigEdgeList method) average_level (AbcStats attribute) B Balance (class in aigverse.abc) (class in aigverse.abc.gia) balance (in module aigverse.abc) (in module aigverse.abc.gia) balancing() (in module aigverse.algorithms) benchmark_cache() (in module aigverse.benchmarks) binary (AbcExecutionError attribute) BINARY (EdgeTensorEncoding attribute) binary_decoder() (in module aigverse.generators) C CACHE_ENV_VAR (in module aigverse.benchmarks) carry_lookahead_adder() (in module aigverse.generators) cec() (in module aigverse.abc.gia) CecStatus (class in aigverse.abc) (class in aigverse.abc.gia) ci_at() (SequentialAig method) ci_index() (SequentialAig method) cis() (SequentialAig method) cleanup_dangling() (in module aigverse.algorithms) clear() (AigEdgeList method) (AigIndexList method) (TruthTable method) clear_bit() (TruthTable method) clone() (Aig method) (AigCut method) (DepthAig method) (FanoutAig method) (NamedAig method) (SequentialAig method) clone_node() (Aig method) cmd (CommandWrapper attribute) cmd() (Balance static method), [1] (Dc2 static method) (Deepsyn static method) (Fraig static method) (Orchestrate static method) (Refactor static method) (Resub static method), [1] (Rewrite static method) (Syn2 static method) (Syn3 static method) (Syn4 static method) (Transduction static method) (Transtoch static method) co_at() (SequentialAig method) co_index() (SequentialAig method) cofactor0() (in module aigverse.utils) cofactor1() (in module aigverse.utils) command (AbcExecutionError attribute) Command (class in aigverse.abc) CommandWrapper (class in aigverse.abc) complement (AigSignal property) compress() (in module aigverse.abc) compress2() (in module aigverse.abc) compress2rs() (in module aigverse.abc) control (AigRegister property) cos() (SequentialAig method) count_ones() (TruthTable method) count_zeroes() (TruthTable method) create_and() (Aig method) create_buf() (Aig method) create_from_binary_string() (TruthTable method) create_from_hex_string() (TruthTable method) create_ite() (Aig method) create_le() (Aig method) create_lt() (Aig method) create_maj() (Aig method) create_majority() (TruthTable method) create_nand() (Aig method) create_nary_and() (Aig method) create_nary_or() (Aig method) create_nary_xor() (Aig method) create_nor() (Aig method) create_not() (Aig method) create_nth_var() (TruthTable method) create_or() (Aig method) create_pi() (Aig method) (NamedAig method) (SequentialAig method) create_po() (Aig method) (DepthAig method) (NamedAig method) (SequentialAig method) create_random() (TruthTable method) create_ri() (SequentialAig method) create_ro() (SequentialAig method) create_xnor() (Aig method) create_xor() (Aig method) create_xor3() (Aig method) D data (AigSignal property) Dc2 (class in aigverse.abc.gia) dc2 (in module aigverse.abc.gia) dc2() (in module aigverse.abc) Deepsyn (class in aigverse.abc.gia) deepsyn (in module aigverse.abc.gia) DEFAULT_REVISION (in module aigverse.benchmarks) DepthAig (class in aigverse.networks) E edges (AigEdgeList property) EdgeTensorEncoding (class in aigverse.networks) epfl() (in module aigverse.benchmarks) EPFL_ARITHMETIC (in module aigverse.benchmarks) EPFL_BENCHMARKS (in module aigverse.benchmarks) epfl_names() (in module aigverse.benchmarks) epfl_path() (in module aigverse.benchmarks) EPFL_RANDOM_CONTROL (in module aigverse.benchmarks) equivalence_checking() (in module aigverse.algorithms) EQUIVALENT (CecStatus attribute), [1] expand_script() (in module aigverse.abc) F fanin_size() (Aig method) fanins() (Aig method) fanout_size() (Aig method) FanoutAig (class in aigverse.networks) fanouts() (FanoutAig method) final_state (SequentialSimulationResult property) find_abc_binary() (in module aigverse.abc) flip_bit() (TruthTable method) Fraig (class in aigverse.abc.gia) fraig (in module aigverse.abc.gia) G gates() (Aig method) (AigCut method) (AigIndexList method) get_bit() (TruthTable method) get_block() (TruthTable method) get_constant() (Aig method) get_name() (NamedAig method) get_network_name() (NamedAig method) get_node() (Aig method) get_output_name() (NamedAig method) H has_and() (Aig method) has_name() (NamedAig method) has_output_name() (NamedAig method) I index (AigSignal property) index_to_node() (Aig method) (AigCut method) init (AigRegister property) INTEGER (NodeTensorEncoding attribute) is_and() (Aig method) is_available() (in module aigverse.abc) is_ci() (SequentialAig method) is_combinational (Aig property) (SequentialAig property) is_complemented() (Aig method) is_const0() (TruthTable method) is_const1() (TruthTable method) is_constant() (Aig method) is_ite() (Aig method) is_maj() (Aig method) is_nary_and() (Aig method) is_nary_or() (Aig method) is_on_critical_path() (DepthAig method) is_or() (Aig method) is_pi() (Aig method) (AigCut method) (SequentialAig method) is_ro() (SequentialAig method) is_xor() (Aig method) is_xor3() (Aig method) L level() (DepthAig method) M make_signal() (Aig method) memory_mb (AbcStats attribute) module aigverse aigverse.abc aigverse.abc.gia aigverse.adapters aigverse.adapters.networkx aigverse.algorithms aigverse.benchmarks aigverse.generators aigverse.io aigverse.networks aigverse.utils multiplexer() (in module aigverse.generators) N NamedAig (class in aigverse.networks) node_to_index() (Aig method) (AigCut method) nodes() (Aig method) (AigCut method) NodeTensorEncoding (class in aigverse.networks) NOT_EQUIVALENT (CecStatus attribute), [1] ntk (AigEdgeList property) num_bits() (TruthTable method) num_blocks() (TruthTable method) num_cis (SequentialAig property) num_cos (SequentialAig property) num_cycles (SequentialSimulationResult property) num_gates (AbcStats attribute) (Aig property) (AigCut property) (AigIndexList property) num_levels (AbcStats attribute) (DepthAig property) num_pis (AbcStats attribute) (Aig property) (AigCut property) (AigIndexList property) (SequentialAig property) num_pos (AbcStats attribute) (Aig property) (AigCut property) (AigIndexList property) (SequentialAig property) num_registers (AbcStats attribute) (SequentialAig property) num_vars() (TruthTable method) O ONE_HOT (EdgeTensorEncoding attribute) (NodeTensorEncoding attribute) Orchestrate (class in aigverse.abc) orchestrate (in module aigverse.abc) output (AbcExecutionError attribute) outputs (SequentialSimulationResult property) P pi_at() (Aig method) (SequentialAig method) pi_index() (Aig method) (SequentialAig method) pis() (Aig method) (AigCut method) (SequentialAig method) po_at() (Aig method) (SequentialAig method) po_index() (Aig method) pos() (Aig method) (AigCut method) (AigIndexList method) (SequentialAig method) R random_aig() (in module aigverse.generators) raw (AbcStats attribute) raw() (AigIndexList method) read_aiger_into_aig() (in module aigverse.io) read_aiger_into_sequential_aig() (in module aigverse.io) read_ascii_aiger_into_aig() (in module aigverse.io) read_ascii_aiger_into_sequential_aig() (in module aigverse.io) read_pla_into_aig() (in module aigverse.io) read_verilog_into_aig() (in module aigverse.io) Refactor (class in aigverse.abc) refactor (in module aigverse.abc) register_at() (SequentialAig method) registers() (SequentialAig method) reset_state (SequentialSimulationResult property) Resub (class in aigverse.abc) (class in aigverse.abc.gia) resub (in module aigverse.abc) (in module aigverse.abc.gia) resyn() (in module aigverse.abc) resyn2() (in module aigverse.abc) resyn2rs() (in module aigverse.abc) resyn3() (in module aigverse.abc) Rewrite (class in aigverse.abc) rewrite (in module aigverse.abc) ri_at() (SequentialAig method) ri_index() (SequentialAig method) ri_to_ro() (SequentialAig method) ripple_carry_adder() (in module aigverse.generators) ripple_carry_multiplier() (in module aigverse.generators) ris() (SequentialAig method) ro_at() (SequentialAig method) ro_index() (SequentialAig method) ro_to_ri() (SequentialAig method) ros() (SequentialAig method) run_commands() (in module aigverse.abc) run_many() (in module aigverse.abc) (in module aigverse.abc.gia) run_script() (in module aigverse.abc) (in module aigverse.abc.gia) S SCRIPTS (in module aigverse.abc) SequentialAig (class in aigverse.networks) SequentialSimulationResult (class in aigverse.algorithms) set_abc_binary() (in module aigverse.abc) set_abc_rc() (in module aigverse.abc) set_benchmark_cache() (in module aigverse.benchmarks) set_bit() (TruthTable method) set_name() (NamedAig method) set_network_name() (NamedAig method) set_output_name() (NamedAig method) set_register() (SequentialAig method) sideways_sum_adder() (in module aigverse.generators) SIGNED (EdgeTensorEncoding attribute) simulate() (in module aigverse.algorithms) simulate_nodes() (in module aigverse.algorithms) simulate_sequential() (in module aigverse.algorithms) size (Aig property) (AigCut property) (AigIndexList property) sop_refactoring() (in module aigverse.algorithms) source (AigEdge property) states (SequentialSimulationResult property) stats() (in module aigverse.abc) (in module aigverse.abc.gia) Syn2 (class in aigverse.abc.gia) syn2 (in module aigverse.abc.gia) Syn3 (class in aigverse.abc.gia) syn3 (in module aigverse.abc.gia) Syn4 (class in aigverse.abc.gia) syn4 (in module aigverse.abc.gia) T target (AigEdge property) ternary_majority() (in module aigverse.utils) text (Command attribute) TIMEOUT (CecStatus attribute), [1] to_aig() (AigIndexList method) to_binary() (TruthTable method) to_edge_list() (Aig method) (SequentialAig method) to_graph_tensors() (Aig method) (SequentialAig method) to_hex() (TruthTable method) to_index_list() (Aig method) (AigCut method) (SequentialAig method) to_networkx() (Aig method) (in module aigverse.adapters.networkx) Transduction (class in aigverse.abc.gia) transduction (in module aigverse.abc.gia) Transtoch (class in aigverse.abc.gia) transtoch (in module aigverse.abc.gia) TruthTable (class in aigverse.utils) type (AigRegister property) U UNDECIDED (CecStatus attribute), [1] update_levels() (DepthAig method) W weight (AigEdge property) write_aiger() (in module aigverse.io) write_dot() (in module aigverse.io) write_verilog() (in module aigverse.io)