Index

_

__call__() (torchlogix.Circuit method), [1], [2] __init__() (torchlogix.Circuit method), [1], [2], [3] (torchlogix.functional.GradFactor method) (torchlogix.layers.Binarization method) (torchlogix.layers.FixedBinarization method) (torchlogix.layers.GroupSum method), [1], [2] (torchlogix.layers.LearnableBinarization method) (torchlogix.layers.LogicConv2d method), [1], [2] (torchlogix.layers.LogicConv3d method), [1], [2] (torchlogix.layers.LogicDense method), [1], [2] (torchlogix.layers.OrPooling2d method) (torchlogix.layers.OrPooling3d method) (torchlogix.layers.SoftBinarization method) (torchlogix.models.CNN method), [1], [2]

B

backward() (torchlogix.functional.GradFactor static method), [1] bin_op() (in module torchlogix.functional), [1]

Binarization (class in torchlogix.layers) bypass_wires() (torchlogix.Circuit method), [1], [2]

C

Circuit (class in torchlogix), [1], [2] CNN (class in torchlogix.models), [1] compile() (torchlogix.Circuit method), [1], [2]

compute_all_logic_ops_vectorized() (in module torchlogix.functional), [1] constant_fold_gates() (torchlogix.Circuit method), [1], [2] constant_fold_sum_reductions() (torchlogix.Circuit method), [1], [2]

D

dedup() (torchlogix.Circuit method), [1], [2]

E

eliminate_dead_gates() (torchlogix.Circuit method), [1], [2]

extra_repr() (torchlogix.layers.GroupSum method), [1] (torchlogix.layers.LogicDense method), [1]

F

FixedBinarization (class in torchlogix.layers) forward() (torchlogix.functional.GradFactor static method), [1] (torchlogix.layers.Binarization method) (torchlogix.layers.FixedBinarization method) (torchlogix.layers.GroupSum method), [1] (torchlogix.layers.LearnableBinarization method) (torchlogix.layers.LogicDense method), [1] (torchlogix.layers.OrPooling2d method) (torchlogix.layers.OrPooling3d method) (torchlogix.layers.SoftBinarization method) (torchlogix.models.CNN method), [1]

from_dict() (torchlogix.Circuit class method), [1], [2] from_fx_graph() (torchlogix.Circuit class method), [1], [2] from_json_file() (torchlogix.Circuit class method), [1], [2] from_model() (torchlogix.Circuit class method), [1], [2] fuse_not_inputs() (torchlogix.Circuit method), [1], [2]

G

gates (torchlogix.Circuit attribute), [1], [2] get_c_code() (torchlogix.Circuit method), [1], [2] get_distributive_thresholds() (torchlogix.layers.Binarization static method) get_initial_thresholds() (torchlogix.layers.Binarization static method) get_luts() (torchlogix.layers.LogicDense method), [1] get_luts_and_ids() (torchlogix.layers.LogicDense method), [1]

get_regularization_loss() (torchlogix.layers.LogicDense method), [1] get_thresholds() (torchlogix.layers.Binarization method) (torchlogix.layers.LearnableBinarization method) get_uniform_thresholds() (torchlogix.layers.Binarization static method) get_verilog_code() (torchlogix.Circuit method), [1], [2] GradFactor (class in torchlogix.functional), [1] GroupSum (class in torchlogix.layers), [1]

I

ID_TO_OP (in module torchlogix.functional)

input_shape (torchlogix.Circuit attribute), [1], [2]

L

LearnableBinarization (class in torchlogix.layers) LogicConv2d (class in torchlogix.layers), [1]

LogicConv3d (class in torchlogix.layers), [1] LogicDense (class in torchlogix.layers), [1]

M

module torchlogix

N

n_inputs (torchlogix.Circuit attribute), [1], [2]

O

OrPooling2d (class in torchlogix.layers) OrPooling3d (class in torchlogix.layers)

output_shape (torchlogix.Circuit attribute), [1], [2] outputs (torchlogix.Circuit attribute), [1], [2]

R

rescale_weights() (torchlogix.layers.LogicDense method), [1]

S

set_export_mode() (torchlogix.layers.GroupSum method), [1] (torchlogix.layers.LogicDense method), [1] (torchlogix.layers.OrPooling2d method) (torchlogix.layers.OrPooling3d method)

simplify() (torchlogix.Circuit method), [1], [2] SoftBinarization (class in torchlogix.layers) sum_nodes (torchlogix.Circuit attribute), [1], [2]

T

to_and_inverter_graph() (torchlogix.Circuit method), [1], [2] to_dict() (torchlogix.Circuit method), [1], [2]

torchlogix module

W

write_c_code() (torchlogix.Circuit method), [1], [2] write_json() (torchlogix.Circuit method), [1], [2]

write_to_aiger_file() (torchlogix.Circuit method), [1], [2] write_verilog_code() (torchlogix.Circuit method), [1], [2]