Index

A

abs() (da4ml.trace.fixed_variable.FixedVariable method) adder_size (da4ml.cmvm.api.solver_options_t attribute) (da4ml.cmvm.types.CombLogic attribute), [1] (da4ml.trace.fixed_variable.HWConfig attribute)

apply() (da4ml.trace.fixed_variable_array.FixedVariableArray method) (da4ml.trace.fixed_variable_array.RetardedFixedVariableArray method) apply_model() (da4ml.converter.example.ExampleDAISTracer method) (da4ml.converter.plugin.DAISTracerPluginBase method) at_path (class in da4ml.codegen.rtl.rtl_model)

B

binder_gen() (in module da4ml.codegen.rtl.rtl_model)

C

C (da4ml.trace.ops.einsum_utils.EinsumRecipe attribute) carry_size (da4ml.cmvm.api.solver_options_t attribute) (da4ml.cmvm.types.CombLogic attribute), [1] (da4ml.trace.fixed_variable.HWConfig attribute) cmvm() (in module da4ml.cmvm.core) (in module da4ml.trace.fixed_variable_array) collapsed (da4ml.trace.fixed_variable_array.FixedVariableArray property) comb_logic_gen() (in module da4ml.codegen.rtl.verilog.comb) (in module da4ml.codegen.rtl.vhdl.comb) comb_trace() (in module da4ml.trace.tracer)

CombLogic (class in da4ml.cmvm.types) compactify_comb() (in module da4ml.trace.tracer) compile() (da4ml.codegen.hls.hls_model.HLSModel method) (da4ml.codegen.rtl.rtl_model.RTLModel method) cost (da4ml.cmvm.types.CombLogic property) (da4ml.cmvm.types.Op attribute) (da4ml.cmvm.types.Pipeline attribute) (da4ml.cmvm.types.Pipeline property) cost_add() (in module da4ml.cmvm.core.state_opr) create_state() (in module da4ml.cmvm.core.state_opr) csd_decompose() (in module da4ml.cmvm.util.bit_decompose)

D

da4ml module da4ml.cmvm module da4ml.cmvm.api module da4ml.cmvm.core module da4ml.cmvm.core.indexers module da4ml.cmvm.core.state_opr module da4ml.cmvm.types module da4ml.cmvm.util module da4ml.cmvm.util.bit_decompose module da4ml.cmvm.util.mat_decompose module da4ml.codegen module da4ml.codegen.hls module da4ml.codegen.hls.hls_codegen module da4ml.codegen.hls.hls_model module da4ml.codegen.rtl module da4ml.codegen.rtl.rtl_model module da4ml.codegen.rtl.verilog module da4ml.codegen.rtl.verilog.comb module da4ml.codegen.rtl.verilog.io_wrapper module da4ml.codegen.rtl.verilog.pipeline module da4ml.codegen.rtl.vhdl module

da4ml.codegen.rtl.vhdl.comb module da4ml.codegen.rtl.vhdl.io_wrapper module da4ml.codegen.rtl.vhdl.pipeline module da4ml.converter module da4ml.converter.example module da4ml.converter.plugin module da4ml.trace module da4ml.trace.fixed_variable module da4ml.trace.fixed_variable_array module da4ml.trace.ops module da4ml.trace.ops.einsum_utils module da4ml.trace.ops.quantization module da4ml.trace.ops.reduce_utils module da4ml.trace.pipeline module da4ml.trace.tracer module da4ml.typing module DAISTracerPluginBase (class in da4ml.converter.plugin) DAState (class in da4ml.cmvm.types) data (da4ml.cmvm.types.Op attribute) decompose_dc (da4ml.cmvm.api.solver_options_t attribute) default() (da4ml.cmvm.types.JSONEncoder method) deserialize() (da4ml.cmvm.types.CombLogic class method) (da4ml.cmvm.types.Pipeline class method) direct_sum_axis (da4ml.trace.ops.einsum_utils.EinsumRecipe attribute) dtype (da4ml.trace.fixed_variable_array.FixedVariableArray property)

E

einsum() (in module da4ml.trace.ops.einsum_utils) EinsumRecipe (class in da4ml.trace.ops.einsum_utils)

ExampleDAISTracer (class in da4ml.converter.example) ExampleModel (class in da4ml.converter.example) expr (da4ml.cmvm.types.DAState attribute)

F

FixedVariable (class in da4ml.trace.fixed_variable) FixedVariableArray (class in da4ml.trace.fixed_variable_array) FixedVariableArrayInput (class in da4ml.trace.fixed_variable_array) FixedVariableInput (class in da4ml.trace.fixed_variable) flatten() (da4ml.trace.fixed_variable_array.FixedVariableArray method) float_table (da4ml.trace.fixed_variable.LookupTable property)

fractional (da4ml.cmvm.types.Precision attribute) freq_stat (da4ml.cmvm.types.DAState attribute) from_const() (da4ml.trace.fixed_variable.FixedVariable class method) from_dict() (da4ml.trace.fixed_variable.LookupTable class method) from_kif() (da4ml.trace.fixed_variable.FixedVariable class method) (da4ml.trace.fixed_variable_array.FixedVariableArray class method) from_lhs() (da4ml.trace.fixed_variable_array.FixedVariableArray class method)

G

gather_matching_idxs() (in module da4ml.cmvm.core.state_opr) gather_variables() (in module da4ml.trace.tracer) gen_mem_def() (in module da4ml.codegen.hls.hls_codegen) gen_memfile() (in module da4ml.codegen.rtl.verilog.comb) gen_table_name_defline() (in module da4ml.codegen.hls.hls_codegen) generate_io_wrapper() (in module da4ml.codegen.rtl.verilog.io_wrapper) (in module da4ml.codegen.rtl.vhdl.io_wrapper) get_available_plugins() (in module da4ml.converter)

get_cost_and_latency() (da4ml.trace.fixed_variable.FixedVariable method) get_input_shapes() (da4ml.converter.example.ExampleDAISTracer method) (da4ml.converter.plugin.DAISTracerPluginBase method) get_io_kifs() (in module da4ml.codegen.rtl.rtl_model) get_io_types() (in module da4ml.codegen.hls.hls_codegen) get_table_from_index() (da4ml.trace.fixed_variable.TraceContext method) get_table_name_memfile() (in module da4ml.codegen.rtl.verilog.comb) get_typestr_fn() (in module da4ml.codegen.hls.hls_codegen)

H

hard_dc (da4ml.cmvm.api.solver_options_t attribute) hash (da4ml.trace.fixed_variable.TableSpec attribute) hetero_io_map() (in module da4ml.codegen.rtl.verilog.io_wrapper) (in module da4ml.codegen.rtl.vhdl.io_wrapper)

hls_logic_and_bridge_gen() (in module da4ml.codegen.hls.hls_codegen) HLSModel (class in da4ml.codegen.hls.hls_model) hwconf (da4ml.trace.fixed_variable.TraceContext attribute) HWConfig (class in da4ml.trace.fixed_variable)

I

I (da4ml.trace.ops.einsum_utils.EinsumRecipe attribute) id0 (da4ml.cmvm.types.Op attribute) (da4ml.cmvm.types.Pair attribute) id1 (da4ml.cmvm.types.Op attribute) (da4ml.cmvm.types.Pair attribute) idx_mc() (in module da4ml.cmvm.core.indexers) idx_mc_dc() (in module da4ml.cmvm.core.indexers) idx_wmc() (in module da4ml.cmvm.core.indexers) idx_wmc_dc() (in module da4ml.cmvm.core.indexers) in_shift (da4ml.cmvm.types.Pipeline attribute) in_transpose_idxs (da4ml.trace.ops.einsum_utils.EinsumRecipe attribute) index_table() (da4ml.trace.fixed_variable.TraceContext method) inp_kifs (da4ml.cmvm.types.CombLogic property)

inp_lat (da4ml.cmvm.types.Pipeline attribute) inp_latency (da4ml.cmvm.types.CombLogic property) (da4ml.cmvm.types.Pipeline property) inp_qint (da4ml.cmvm.types.CombLogic property) (da4ml.cmvm.types.Pipeline attribute) (da4ml.cmvm.types.Pipeline property) inp_shifts (da4ml.cmvm.types.CombLogic attribute), [1] (da4ml.cmvm.types.Pipeline property) inp_width (da4ml.trace.fixed_variable.TableSpec attribute) integers (da4ml.cmvm.types.Precision attribute) interpret_as() (in module da4ml.trace.fixed_variable) is_negative() (da4ml.trace.fixed_variable.FixedVariable method) is_positive() (da4ml.trace.fixed_variable.FixedVariable method)

J

jit_solve() (in module da4ml.cmvm.api)

JSONEncoder (class in da4ml.cmvm.types)

K

keep_negative (da4ml.cmvm.types.Precision attribute) kernel (da4ml.cmvm.types.CombLogic property) (da4ml.cmvm.types.DAState attribute) (da4ml.cmvm.types.Pipeline attribute) (da4ml.cmvm.types.Pipeline property) kernel_decompose() (in module da4ml.cmvm.util.mat_decompose)

kif (da4ml.trace.fixed_variable.FixedVariable property) (da4ml.trace.fixed_variable_array.FixedVariableArray property) (da4ml.trace.fixed_variable_array.RetardedFixedVariableArray property) kif_to_hlslib_type() (in module da4ml.codegen.hls.hls_codegen) kif_to_oneapi_type() (in module da4ml.codegen.hls.hls_codegen) kif_to_vitis_type() (in module da4ml.codegen.hls.hls_codegen)

L

L0 (da4ml.trace.ops.einsum_utils.EinsumRecipe attribute) L1 (da4ml.trace.ops.einsum_utils.EinsumRecipe attribute) latency (da4ml.cmvm.types.CombLogic property) (da4ml.cmvm.types.Op attribute) (da4ml.cmvm.types.Pipeline attribute) (da4ml.cmvm.types.Pipeline property) (da4ml.trace.fixed_variable_array.FixedVariableArray property)

latency_cutoff (da4ml.trace.fixed_variable.HWConfig attribute) lhs (da4ml.trace.fixed_variable_array.FixedVariableArray property) load() (da4ml.cmvm.types.CombLogic class method) (da4ml.cmvm.types.Pipeline class method) lookup() (da4ml.trace.fixed_variable.FixedVariable method) (da4ml.trace.fixed_variable.LookupTable method) lookup_tables (da4ml.cmvm.types.CombLogic attribute), [1] LookupTable (class in da4ml.trace.fixed_variable)

M

make_neg() (in module da4ml.codegen.rtl.verilog.comb) (in module da4ml.codegen.rtl.vhdl.comb) make_table() (in module da4ml.trace.fixed_variable_array) matmul() (da4ml.trace.fixed_variable_array.FixedVariableArray method) max (da4ml.cmvm.types.QInterval attribute) max_of() (da4ml.trace.fixed_variable.FixedVariable method) (da4ml.trace.fixed_variable.FixedVariableInput method) method0 (da4ml.cmvm.api.solver_options_t attribute) method1 (da4ml.cmvm.api.solver_options_t attribute) min (da4ml.cmvm.types.QInterval attribute) min_of() (da4ml.trace.fixed_variable.FixedVariable method) (da4ml.trace.fixed_variable.FixedVariableInput method) minimal_kif() (in module da4ml.cmvm.types) minimal_latency() (in module da4ml.cmvm.api) mmm() (in module da4ml.trace.fixed_variable_array) model (da4ml.converter.example.ExampleDAISTracer attribute) module da4ml da4ml.cmvm da4ml.cmvm.api da4ml.cmvm.core da4ml.cmvm.core.indexers da4ml.cmvm.core.state_opr da4ml.cmvm.types da4ml.cmvm.util da4ml.cmvm.util.bit_decompose da4ml.cmvm.util.mat_decompose da4ml.codegen da4ml.codegen.hls da4ml.codegen.hls.hls_codegen da4ml.codegen.hls.hls_model da4ml.codegen.rtl da4ml.codegen.rtl.rtl_model da4ml.codegen.rtl.verilog da4ml.codegen.rtl.verilog.comb da4ml.codegen.rtl.verilog.io_wrapper da4ml.codegen.rtl.verilog.pipeline da4ml.codegen.rtl.vhdl da4ml.codegen.rtl.vhdl.comb da4ml.codegen.rtl.vhdl.io_wrapper da4ml.codegen.rtl.vhdl.pipeline da4ml.converter da4ml.converter.example da4ml.converter.plugin da4ml.trace da4ml.trace.fixed_variable da4ml.trace.fixed_variable_array da4ml.trace.ops da4ml.trace.ops.einsum_utils da4ml.trace.ops.quantization da4ml.trace.ops.reduce_utils da4ml.trace.pipeline da4ml.trace.tracer da4ml.typing

msb_mux() (da4ml.trace.fixed_variable.FixedVariable method)

N

ndim (da4ml.trace.fixed_variable_array.FixedVariableArray property)

O

offload_fn (da4ml.cmvm.api.solver_options_t attribute) Op (class in da4ml.cmvm.types) opcode (da4ml.cmvm.types.Op attribute) operation() (in module da4ml.converter.example) ops (da4ml.cmvm.types.CombLogic attribute), [1] (da4ml.cmvm.types.DAState attribute) out_idxs (da4ml.cmvm.types.CombLogic attribute), [1] out_interpert_shape (da4ml.trace.ops.einsum_utils.EinsumRecipe attribute) out_kif (da4ml.trace.fixed_variable.TableSpec property) out_kifs (da4ml.cmvm.types.CombLogic property) out_lat (da4ml.cmvm.types.Pipeline attribute) out_latencies (da4ml.cmvm.types.Pipeline property) out_latency (da4ml.cmvm.types.CombLogic property) out_neg (da4ml.cmvm.types.Pipeline attribute) (da4ml.cmvm.types.Pipeline property)

out_negs (da4ml.cmvm.types.CombLogic attribute), [1] out_qint (da4ml.cmvm.types.CombLogic property) (da4ml.cmvm.types.Pipeline attribute) (da4ml.cmvm.types.Pipeline property) (da4ml.trace.fixed_variable.TableSpec attribute) out_shift (da4ml.cmvm.types.Pipeline attribute) (da4ml.cmvm.types.Pipeline property) out_shifts (da4ml.cmvm.types.CombLogic attribute), [1] out_transpose_idxs (da4ml.trace.ops.einsum_utils.EinsumRecipe attribute) output_gen() (in module da4ml.codegen.hls.hls_codegen) (in module da4ml.codegen.rtl.verilog.comb) (in module da4ml.codegen.rtl.vhdl.comb) overlap_and_accum() (in module da4ml.cmvm.core.indexers)

P

Packet (class in da4ml.trace.ops.reduce_utils) padded_table() (da4ml.trace.fixed_variable.LookupTable method) Pair (class in da4ml.cmvm.types) pair_to_op() (in module da4ml.cmvm.core.state_opr) parse_einsum() (in module da4ml.trace.ops.einsum_utils) Pipeline (class in da4ml.cmvm.types) pipeline_logic_gen() (in module da4ml.codegen.rtl.verilog.pipeline) (in module da4ml.codegen.rtl.vhdl.pipeline)

Precision (class in da4ml.cmvm.types) predict() (da4ml.cmvm.types.CombLogic method) (da4ml.codegen.hls.hls_model.HLSModel method) (da4ml.codegen.rtl.rtl_model.RTLModel method) prim_mst_dc() (in module da4ml.cmvm.util.mat_decompose) Properties (da4ml.cmvm.types.Pipeline attribute)

Q

qint (da4ml.cmvm.types.Op attribute) (da4ml.trace.fixed_variable.FixedVariable property) qint_add() (in module da4ml.cmvm.core.state_opr) QInterval (class in da4ml.cmvm.types)

quantize() (da4ml.trace.fixed_variable.FixedVariable method) (da4ml.trace.fixed_variable.FixedVariableInput method) (da4ml.trace.fixed_variable_array.FixedVariableArray method) (da4ml.trace.fixed_variable_array.RetardedFixedVariableArray method) (in module da4ml.trace.ops.quantization)

R

ravel() (da4ml.trace.fixed_variable_array.FixedVariableArray method) reduce() (in module da4ml.trace.ops.reduce_utils) ref_count (da4ml.cmvm.types.CombLogic property) reg_bits (da4ml.cmvm.types.Pipeline property) register_table() (da4ml.trace.fixed_variable.TraceContext method) relu() (da4ml.trace.fixed_variable.FixedVariable method) (da4ml.trace.fixed_variable.FixedVariableInput method) (da4ml.trace.fixed_variable_array.FixedVariableArray method) (in module da4ml.trace.ops.quantization)

remap_table_idxs() (in module da4ml.trace.pipeline) reshape() (da4ml.trace.fixed_variable_array.FixedVariableArray method) RetardedFixedVariableArray (class in da4ml.trace.fixed_variable_array) retime_pipeline() (in module da4ml.trace.pipeline) rmatmul() (da4ml.trace.fixed_variable_array.FixedVariableArray method) RTLModel (class in da4ml.codegen.rtl.rtl_model)

S

save() (da4ml.cmvm.types.CombLogic method) (da4ml.cmvm.types.Pipeline method) save_binary() (da4ml.cmvm.types.CombLogic method) search_all_decompose_dc (da4ml.cmvm.api.solver_options_t attribute) shape (da4ml.cmvm.types.CombLogic attribute), [1] (da4ml.cmvm.types.Pipeline attribute) (da4ml.cmvm.types.Pipeline property) (da4ml.trace.fixed_variable_array.FixedVariableArray property) shift (da4ml.cmvm.types.Pair attribute) shift_centering() (in module da4ml.cmvm.util.bit_decompose)

shifts (da4ml.cmvm.types.DAState attribute) size (da4ml.trace.fixed_variable_array.FixedVariableArray property) solutions (da4ml.cmvm.types.Pipeline attribute) solve() (in module da4ml.cmvm.api) solver_options_t (class in da4ml.cmvm.api) ssa_gen() (in module da4ml.codegen.hls.hls_codegen) (in module da4ml.codegen.rtl.verilog.comb) (in module da4ml.codegen.rtl.vhdl.comb) step (da4ml.cmvm.types.QInterval attribute) sub (da4ml.cmvm.types.Pair attribute)

T

T (da4ml.trace.fixed_variable_array.FixedVariableArray property) table_mem_gen() (in module da4ml.codegen.rtl.verilog.comb) TableSpec (class in da4ml.trace.fixed_variable) to_binary() (da4ml.cmvm.types.CombLogic method) to_csd_powers() (in module da4ml.trace.fixed_variable) to_dict() (da4ml.trace.fixed_variable.LookupTable method) to_pipeline() (in module da4ml.trace.pipeline)

to_raw_arr() (in module da4ml.trace.fixed_variable_array) to_solution() (in module da4ml.cmvm.core) to_spec() (in module da4ml.trace.fixed_variable) trace() (da4ml.converter.plugin.DAISTracerPluginBase method) trace_model() (in module da4ml.converter) TraceContext (class in da4ml.trace.fixed_variable) transpose() (da4ml.trace.fixed_variable_array.FixedVariableArray method)

U

unscaled (da4ml.trace.fixed_variable.FixedVariable property) update_expr() (in module da4ml.cmvm.core.state_opr)

update_state() (in module da4ml.cmvm.core.state_opr) update_stats() (in module da4ml.cmvm.core.state_opr)

V

VerilogModel (class in da4ml.codegen.rtl.rtl_model)

VHDLModel (class in da4ml.codegen.rtl.rtl_model)

W

write() (da4ml.codegen.hls.hls_model.HLSModel method) (da4ml.codegen.rtl.rtl_model.RTLModel method)