Index

A

add_surrogate() (in module alkaid.trace.passes.surrogate) adder_size (alkaid.cmvm.solver_options_t attribute) (alkaid.trace.fixed_variable.HWConfig attribute) (alkaid.types.CombLogic attribute) AffineInterval (class in alkaid.trace.affine_interval) ALIRTracerPluginBase (class in alkaid.converter.plugin) alkaid module alkaid.cmvm module alkaid.codegen module alkaid.codegen.hls module alkaid.codegen.hls.hls_codegen module alkaid.codegen.hls.hls_model module alkaid.codegen.rtl module alkaid.codegen.rtl.rtl_model module alkaid.codegen.rtl.verilog module alkaid.codegen.rtl.verilog.comb module alkaid.codegen.rtl.verilog.io_wrapper module alkaid.codegen.rtl.verilog.pipeline module alkaid.codegen.rtl.vhdl module alkaid.codegen.rtl.vhdl.comb module alkaid.codegen.rtl.vhdl.io_wrapper module alkaid.codegen.rtl.vhdl.pipeline module alkaid.codegen.xls module alkaid.codegen.xls.xls_codegen module alkaid.codegen.xls.xls_model module alkaid.converter module alkaid.converter.example module alkaid.converter.plugin module alkaid.trace module alkaid.trace.affine_interval module

alkaid.trace.fixed_variable module alkaid.trace.fixed_variable_array module alkaid.trace.ops module alkaid.trace.ops.bit_oprs module alkaid.trace.ops.einsum_utils module alkaid.trace.ops.histogram module alkaid.trace.ops.images module alkaid.trace.ops.quantization module alkaid.trace.ops.reduce_utils module alkaid.trace.ops.sorting module alkaid.trace.passes module alkaid.trace.passes.canon module alkaid.trace.passes.cse module alkaid.trace.passes.dce module alkaid.trace.passes.null_op module alkaid.trace.passes.order module alkaid.trace.passes.retrace module alkaid.trace.passes.surrogate module alkaid.trace.pipeline module alkaid.trace.tracer module alkaid.types module alkaid.typing module apply() (alkaid.trace.fixed_variable_array.FVArray method) (alkaid.trace.fixed_variable_array.RetardedFVArray method) apply_model() (alkaid.converter.example.ExampleALIRTracer method) (alkaid.converter.plugin.ALIRTracerPluginBase method) argreduce() (in module alkaid.trace.ops.reduce_utils) as_new() (alkaid.trace.fixed_variable_array.FVArray method) at_path (class in alkaid.codegen.rtl.rtl_model) AtomicInterval (class in alkaid.trace.affine_interval)

B

batcher_odd_even_merge_sort() (in module alkaid.trace.ops.sorting) binary_bit_op() (alkaid.trace.fixed_variable.FVariable method) (in module alkaid.trace.ops.bit_oprs) binder_gen() (in module alkaid.codegen.rtl.rtl_model)

bits (alkaid.trace.fixed_variable.FVariable property) BitsView (class in alkaid.trace.fixed_variable) build_xls_function() (in module alkaid.codegen.xls.xls_codegen) build_xls_io_wrapper() (in module alkaid.codegen.xls.xls_codegen)

C

C (alkaid.trace.ops.einsum_utils.EinsumRecipe attribute) canon_name() (in module alkaid.codegen.rtl.rtl_model) canon_sort_map() (in module alkaid.trace.passes.order) canonical_sort() (in module alkaid.trace.passes.order) canonicalize() (in module alkaid.trace.passes.canon) canonicalize_outputs() (in module alkaid.trace.passes.canon) carry_size (alkaid.trace.fixed_variable.HWConfig attribute) (alkaid.types.CombLogic attribute) cmp_swap() (in module alkaid.trace.ops.sorting) cmvm() (in module alkaid.trace.fixed_variable_array) collapsed (alkaid.trace.fixed_variable_array.FVArray property) comb_logic_gen() (in module alkaid.codegen.rtl.verilog.comb) (in module alkaid.codegen.rtl.vhdl.comb) CombLogic (class in alkaid.types)

common_subexpr_elimin() (in module alkaid.trace.passes.cse) compile() (alkaid.codegen.hls.hls_model.HLSModel method) (alkaid.codegen.rtl.rtl_model.RTLModel method) (alkaid.codegen.xls.xls_model.XLSModel method) const_propagation() (in module alkaid.trace.passes.canon) cost (alkaid.types.CombLogic property) (alkaid.types.Op attribute) (alkaid.types.Pipeline property) cost_lat_add() (in module alkaid.trace.passes.surrogate) cost_lat_bin_bitops() (in module alkaid.trace.passes.surrogate) cost_lat_lut() (in module alkaid.trace.passes.surrogate) cost_lat_mul() (in module alkaid.trace.passes.surrogate) cost_lat_mux() (in module alkaid.trace.passes.surrogate) cost_lat_op() (in module alkaid.trace.passes.surrogate) cost_relu() (in module alkaid.trace.passes.surrogate)

D

DAState (class in alkaid.types) data (alkaid.types.Op attribute) dead_code_elimin() (in module alkaid.trace.passes.dce)

decompose_dc (alkaid.cmvm.solver_options_t attribute) default() (alkaid.types.JSONEncoder method) direct_sum_axis (alkaid.trace.ops.einsum_utils.EinsumRecipe attribute)

E

einsum() (in module alkaid.trace.ops.einsum_utils) EinsumRecipe (class in alkaid.trace.ops.einsum_utils) ExampleALIRTracer (class in alkaid.converter.example) ExampleModel (class in alkaid.converter.example)

exec_op() (alkaid.types.CombLogic method) expr (alkaid.types.DAState attribute) extract_patches() (in module alkaid.trace.ops.images) extract_patches_transposed() (in module alkaid.trace.ops.images)

F

float_table (alkaid.trace.fixed_variable.LookupTable property) fractional (alkaid.types.Precision attribute) freq_stat (alkaid.types.DAState attribute) from_const() (alkaid.trace.fixed_variable.FVariable class method) from_dict() (alkaid.trace.fixed_variable.LookupTable class method) (alkaid.types.CombLogic class method)

from_kif() (alkaid.trace.fixed_variable.FVariable class method) (alkaid.trace.fixed_variable_array.FVArray class method) from_lhs() (alkaid.trace.fixed_variable_array.FVArray class method) FVariable (class in alkaid.trace.fixed_variable) FVariableInput (class in alkaid.trace.fixed_variable) FVArray (class in alkaid.trace.fixed_variable_array) FVArrayInput (class in alkaid.trace.fixed_variable_array)

G

gather_variables() (in module alkaid.trace.tracer) gen_mem_def() (in module alkaid.codegen.hls.hls_codegen) gen_memfile() (in module alkaid.codegen.rtl.verilog.comb) gen_table_name_defline() (in module alkaid.codegen.hls.hls_codegen) generate_io_wrapper() (in module alkaid.codegen.rtl.verilog.io_wrapper) (in module alkaid.codegen.rtl.vhdl.io_wrapper) get_available_plugins() (in module alkaid.converter)

get_input_shapes() (alkaid.converter.example.ExampleALIRTracer method) (alkaid.converter.plugin.ALIRTracerPluginBase method) get_io_kifs() (in module alkaid.codegen.rtl.rtl_model) get_io_types() (in module alkaid.codegen.hls.hls_codegen) get_latency() (alkaid.trace.fixed_variable.FVariable method) get_table_name_memfile() (in module alkaid.codegen.rtl.verilog.comb) get_typestr_fn() (in module alkaid.codegen.hls.hls_codegen)

H

hard_dc (alkaid.cmvm.solver_options_t attribute) hash (alkaid.trace.fixed_variable.TableSpec attribute) hetero_io_map() (in module alkaid.codegen.rtl.verilog.io_wrapper) (in module alkaid.codegen.rtl.vhdl.io_wrapper) high (alkaid.trace.fixed_variable.FVariable property) (alkaid.trace.fixed_variable.FVariableInput property)

histogram() (in module alkaid.trace.ops.histogram) hls_logic_and_bridge_gen() (in module alkaid.codegen.hls.hls_codegen) HLSModel (class in alkaid.codegen.hls.hls_model) HWConfig (class in alkaid.trace.fixed_variable)

I

I (alkaid.trace.ops.einsum_utils.EinsumRecipe attribute) id0 (alkaid.types.Op attribute) (alkaid.types.Pair attribute) id1 (alkaid.types.Op attribute) (alkaid.types.Pair attribute) in_transpose_idxs (alkaid.trace.ops.einsum_utils.EinsumRecipe attribute) inp_kifs (alkaid.types.CombLogic property) inp_latency (alkaid.types.CombLogic property) (alkaid.types.Pipeline property) inp_qint (alkaid.types.CombLogic property) (alkaid.types.Pipeline property)

inp_shifts (alkaid.types.CombLogic attribute) (alkaid.types.Pipeline property) inp_width (alkaid.trace.fixed_variable.TableSpec attribute) input_ids (alkaid.types.Op property) integers (alkaid.types.Precision attribute) interpret_as() (in module alkaid.trace.fixed_variable) is_negative() (alkaid.trace.fixed_variable.FVariable method) is_positive() (alkaid.trace.fixed_variable.FVariable method) is_used_in() (in module alkaid.trace.passes.cse)

J

jit() (alkaid.codegen.xls.xls_model.XLSModel method)

JSONEncoder (class in alkaid.types)

K

keep_negative (alkaid.types.Precision attribute) kernel (alkaid.types.CombLogic property) (alkaid.types.DAState attribute) (alkaid.types.Pipeline property) kif (alkaid.trace.fixed_variable.FVariable property) (alkaid.trace.fixed_variable_array.FVArray property) (alkaid.trace.fixed_variable_array.RetardedFVArray property)

kif_to_hlslib_type() (in module alkaid.codegen.hls.hls_codegen) kif_to_oneapi_type() (in module alkaid.codegen.hls.hls_codegen) kif_to_vitis_type() (in module alkaid.codegen.hls.hls_codegen)

L

L0 (alkaid.trace.ops.einsum_utils.EinsumRecipe attribute) L1 (alkaid.trace.ops.einsum_utils.EinsumRecipe attribute) latency (alkaid.trace.fixed_variable_array.FVArray property) (alkaid.types.CombLogic property) (alkaid.types.Op attribute) (alkaid.types.Pipeline property) latency_cutoff (alkaid.trace.fixed_variable.HWConfig attribute)

lhs (alkaid.trace.fixed_variable_array.FVArray property) load() (alkaid.types.CombLogic class method) lookup() (alkaid.trace.fixed_variable.FVariable method) (alkaid.trace.fixed_variable.LookupTable method) lookup_tables (alkaid.types.CombLogic attribute) LookupTable (class in alkaid.trace.fixed_variable) low (alkaid.trace.fixed_variable.FVariable property) (alkaid.trace.fixed_variable.FVariableInput property)

M

make_table() (in module alkaid.trace.fixed_variable_array) max (alkaid.types.QInterval attribute) max_of() (alkaid.trace.fixed_variable.FVariable method) (alkaid.trace.fixed_variable.FVariableInput method) method0 (alkaid.cmvm.solver_options_t attribute) method1 (alkaid.cmvm.solver_options_t attribute) min (alkaid.types.QInterval attribute) min_of() (alkaid.trace.fixed_variable.FVariable method) (alkaid.trace.fixed_variable.FVariableInput method) minimal_kif() (in module alkaid.types) mmm() (in module alkaid.trace.fixed_variable_array) model (alkaid.converter.example.ExampleALIRTracer attribute) module alkaid alkaid.cmvm alkaid.codegen alkaid.codegen.hls alkaid.codegen.hls.hls_codegen alkaid.codegen.hls.hls_model alkaid.codegen.rtl alkaid.codegen.rtl.rtl_model alkaid.codegen.rtl.verilog alkaid.codegen.rtl.verilog.comb alkaid.codegen.rtl.verilog.io_wrapper alkaid.codegen.rtl.verilog.pipeline alkaid.codegen.rtl.vhdl alkaid.codegen.rtl.vhdl.comb alkaid.codegen.rtl.vhdl.io_wrapper alkaid.codegen.rtl.vhdl.pipeline alkaid.codegen.xls alkaid.codegen.xls.xls_codegen alkaid.codegen.xls.xls_model alkaid.converter alkaid.converter.example alkaid.converter.plugin alkaid.trace alkaid.trace.affine_interval alkaid.trace.fixed_variable alkaid.trace.fixed_variable_array alkaid.trace.ops alkaid.trace.ops.bit_oprs alkaid.trace.ops.einsum_utils alkaid.trace.ops.histogram alkaid.trace.ops.images alkaid.trace.ops.quantization alkaid.trace.ops.reduce_utils alkaid.trace.ops.sorting alkaid.trace.passes alkaid.trace.passes.canon alkaid.trace.passes.cse alkaid.trace.passes.dce alkaid.trace.passes.null_op alkaid.trace.passes.order alkaid.trace.passes.retrace alkaid.trace.passes.surrogate alkaid.trace.pipeline alkaid.trace.tracer alkaid.types alkaid.typing

msb() (alkaid.trace.fixed_variable.FVariable method) msb_mux() (alkaid.trace.fixed_variable.FVariable method)

N

needs_negative() (in module alkaid.trace.tracer) negate() (in module alkaid.codegen.xls.xls_codegen)

new() (alkaid.trace.affine_interval.AffineInterval class method) (alkaid.trace.fixed_variable_array.FVArray class method) null_quant_elimin() (in module alkaid.trace.passes.null_op)

O

offload_fn (alkaid.cmvm.solver_options_t attribute) Op (class in alkaid.types) opcode (alkaid.types.Op attribute) operation() (in module alkaid.converter.example) ops (alkaid.types.CombLogic attribute) (alkaid.types.DAState attribute) optimize() (in module alkaid.trace.passes) out_idxs (alkaid.types.CombLogic attribute) out_interpert_shape (alkaid.trace.ops.einsum_utils.EinsumRecipe attribute) out_kif (alkaid.trace.fixed_variable.TableSpec property) out_kifs (alkaid.types.CombLogic property) out_latency (alkaid.types.CombLogic property) (alkaid.types.Pipeline property)

out_negs (alkaid.types.CombLogic attribute) (alkaid.types.Pipeline property) out_qint (alkaid.trace.fixed_variable.TableSpec attribute) (alkaid.types.CombLogic property) (alkaid.types.Pipeline property) out_shifts (alkaid.types.CombLogic attribute) (alkaid.types.Pipeline property) out_transpose_idxs (alkaid.trace.ops.einsum_utils.EinsumRecipe attribute) output_gen() (in module alkaid.codegen.hls.hls_codegen) (in module alkaid.codegen.rtl.verilog.comb) (in module alkaid.codegen.rtl.vhdl.comb)

P

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

Precision (class in alkaid.types) predict() (alkaid.codegen.hls.hls_model.HLSModel method) (alkaid.codegen.rtl.rtl_model.RTLModel method) (alkaid.codegen.xls.xls_model.XLSModel method) (alkaid.types.CombLogic method)

Q

qint (alkaid.trace.affine_interval.AffineInterval property) (alkaid.trace.fixed_variable.FVariable property) (alkaid.types.Op attribute) QInterval (class in alkaid.types)

quantize() (alkaid.trace.fixed_variable.FVariable method) (alkaid.trace.fixed_variable.FVariableInput method) (alkaid.trace.fixed_variable_array.FVArray method) (alkaid.trace.fixed_variable_array.RetardedFVArray method) (in module alkaid.trace.ops.quantization)

R

redirect_all() (in module alkaid.trace.passes.cse) reduce() (in module alkaid.trace.ops.reduce_utils) ref_count (alkaid.types.CombLogic property) reg_bits (alkaid.types.Pipeline property) relu() (alkaid.trace.fixed_variable.FVariable method) (alkaid.trace.fixed_variable.FVariableInput method) (alkaid.trace.fixed_variable_array.FVArray method) (in module alkaid.trace.ops.quantization)

remap_table_idxs() (in module alkaid.trace.passes.dce) RetardedFVArray (class in alkaid.trace.fixed_variable_array) RTLModel (class in alkaid.codegen.rtl.rtl_model)

S

save() (alkaid.types.CombLogic method) search_all_decompose_dc (alkaid.cmvm.solver_options_t attribute) searchsorted() (in module alkaid.trace.ops.histogram) shape (alkaid.types.CombLogic attribute) (alkaid.types.Pipeline property) shift (alkaid.types.Pair attribute) shift_adder() (in module alkaid.codegen.xls.xls_codegen) shifts (alkaid.types.DAState attribute) solutions (alkaid.types.Pipeline attribute)

solver_options_t (class in alkaid.cmvm) sort() (in module alkaid.trace.ops.sorting) ssa_gen() (in module alkaid.codegen.hls.hls_codegen) (in module alkaid.codegen.rtl.verilog.comb) (in module alkaid.codegen.rtl.vhdl.comb) step (alkaid.trace.fixed_variable.FVariable property) (alkaid.trace.fixed_variable.FVariableInput property) (alkaid.types.QInterval attribute) sub (alkaid.types.Pair attribute)

T

table_mem_gen() (in module alkaid.codegen.rtl.verilog.comb) TableSpec (class in alkaid.trace.fixed_variable) to_bool() (alkaid.trace.fixed_variable_array.FVArray method) to_bytecode() (alkaid.types.CombLogic method) to_dict() (alkaid.trace.fixed_variable.LookupTable method) to_key() (in module alkaid.trace.passes.cse)

to_pipeline() (in module alkaid.trace.pipeline) to_raw_arr() (in module alkaid.trace.fixed_variable_array) to_spec() (in module alkaid.trace.fixed_variable) topo_bandwidth_sort() (in module alkaid.trace.passes.order) trace() (alkaid.converter.plugin.ALIRTracerPluginBase method) (in module alkaid.trace.tracer) trace_model() (in module alkaid.converter)

U

unary_bit_op() (alkaid.trace.fixed_variable.FVariable method) (in module alkaid.trace.ops.bit_oprs)

unscaled (alkaid.trace.fixed_variable.FVariable property)

V

verilog_comb_logic_gen_xls() (in module alkaid.codegen.rtl.rtl_model)

W

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

X

XLSModel (class in alkaid.codegen.xls.xls_model)