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) addr (alkaid.codegen.rtl.verilog.ternary.TernaryTerm attribute) (alkaid.types.Op 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.fsm module alkaid.codegen.rtl.verilog.io_map module alkaid.codegen.rtl.verilog.lookup module alkaid.codegen.rtl.verilog.ternary module alkaid.codegen.rtl.vhdl module alkaid.codegen.rtl.vhdl.comb module alkaid.codegen.rtl.vhdl.fsm module alkaid.codegen.rtl.vhdl.lookup module alkaid.codegen.rtl.vhdl.ternary 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.stateful module alkaid.stateful.fsm module

alkaid.stateful.ordering 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.passes.ternary module alkaid.trace.pipeline module alkaid.trace.tracer module alkaid.types module alkaid.typing module alt_src (alkaid.stateful.fsm.Conn attribute) 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) AtomicInterval (class in alkaid.trace.affine_interval)

B

batcher_odd_even_merge_sort() (in module alkaid.trace.ops.sorting) bias (alkaid.stateful.fsm.ModuloSchedule attribute) binary_bit_op() (alkaid.trace.fixed_variable.FVariable method) (in module alkaid.trace.ops.bit_oprs) binary_lut (alkaid.cmvm.solver_options_t attribute) binary_lut_width (alkaid.cmvm.solver_options_t attribute)

BitMap (class in alkaid.codegen.rtl.verilog.io_map) bits (alkaid.trace.fixed_variable.FVariable property) BitsView (class in alkaid.trace.fixed_variable) bitwidths (alkaid.stateful.fsm.Signal property) Buffer (class in alkaid.stateful.fsm) 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) can_merge() (alkaid.codegen.rtl.verilog.io_map.BitMap method) 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_inp_data() (alkaid.codegen.rtl.rtl_model.RTLModel method) (alkaid.stateful.fsm.FSMEmu method) canonicalize_msb_wraps() (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) check() (alkaid.stateful.fsm.ModuloSchedule method) clocked (alkaid.stateful.fsm.Conn property) 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) Conn (class in alkaid.stateful.fsm) const_propagation() (in module alkaid.trace.passes.canon) cost (alkaid.types.CombLogic property) (alkaid.types.Op attribute) cost_cadd() (in module alkaid.trace.passes.surrogate) 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_lat_ternary_add() (in module alkaid.trace.passes.surrogate) cost_relu() (in module alkaid.trace.passes.surrogate) cum_valid_mask (alkaid.stateful.fsm.ModuloSchedule property)

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)

dense_idx_to_t() (alkaid.stateful.fsm.ModuloSchedule method) Dir (class in alkaid.stateful.fsm) direct_sum_axis (alkaid.trace.ops.einsum_utils.EinsumRecipe attribute) drop_lsbs (alkaid.codegen.rtl.verilog.ternary.TernaryLayout attribute) dst (alkaid.codegen.rtl.verilog.io_map.BitMap attribute) (alkaid.stateful.fsm.Conn attribute)

E

einsum() (in module alkaid.trace.ops.einsum_utils) EinsumRecipe (class in alkaid.trace.ops.einsum_utils) enable_if (alkaid.stateful.fsm.Conn attribute) eval() (alkaid.codegen.rtl.rtl_model.RTLModel method) (alkaid.stateful.fsm.FSMEmu method)

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.stateful.fsm.Conn class method) (alkaid.stateful.fsm.FSM class method) (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)

from_list() (alkaid.stateful.fsm.Signal class method) FSM (class in alkaid.stateful.fsm) fsm_config_gen() (in module alkaid.codegen.rtl.rtl_model) fsm_logic_gen() (in module alkaid.codegen.rtl.verilog.fsm) (in module alkaid.codegen.rtl.vhdl.fsm) FSMEmu (class in alkaid.stateful.fsm) fuse_ternary_adders() (in module alkaid.trace.passes.ternary) 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_assignments() (in module alkaid.codegen.rtl.verilog.fsm) gen_assignments_conn() (in module alkaid.codegen.rtl.verilog.fsm) gen_io_map() (in module alkaid.codegen.rtl.verilog.io_map) gen_io_map_sugar() (in module alkaid.codegen.rtl.verilog.fsm) (in module alkaid.codegen.rtl.vhdl.fsm) gen_mem_def() (in module alkaid.codegen.hls.hls_codegen) gen_mux_assignments_conn() (in module alkaid.codegen.rtl.verilog.fsm) gen_table_name_defline() (in module alkaid.codegen.hls.hls_codegen)

generate_io_wrapper() (in module alkaid.codegen.rtl.verilog.fsm) (in module alkaid.codegen.rtl.vhdl.fsm) get_available_plugins() (in module alkaid.converter) get_input_shapes() (alkaid.converter.example.ExampleALIRTracer method) (alkaid.converter.plugin.ALIRTracerPluginBase method) get_io_types() (in module alkaid.codegen.hls.hls_codegen) get_latency() (alkaid.trace.fixed_variable.FVariable method) get_port() (alkaid.codegen.rtl.rtl_model.RTLModel method) 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) 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.Pair attribute) id1 (alkaid.types.Pair attribute) IN (alkaid.stateful.fsm.Dir attribute) in_transpose_idxs (alkaid.trace.ops.einsum_utils.EinsumRecipe attribute) inp_kifs (alkaid.types.CombLogic property) inp_latency (alkaid.types.CombLogic property) inp_qint (alkaid.types.CombLogic property) inp_shifts (alkaid.types.CombLogic attribute)

inp_signals (alkaid.stateful.fsm.FSM property) inp_width (alkaid.trace.fixed_variable.TableSpec attribute) input_ids (alkaid.types.Op property) integers (alkaid.types.Precision attribute) INTERNAL (alkaid.stateful.fsm.Dir attribute) internal_signals (alkaid.stateful.fsm.FSM property) 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) jump_width (alkaid.stateful.fsm.Signal property)

K

kernel (alkaid.types.CombLogic property) (alkaid.types.DAState attribute) kif (alkaid.trace.fixed_variable.FVariable property) (alkaid.trace.fixed_variable_array.FVArray property) (alkaid.trace.fixed_variable_array.RetardedFVArray property) (alkaid.types.QInterval 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.codegen.rtl.rtl_model.RTLModel property) (alkaid.trace.fixed_variable_array.FVArray property) (alkaid.types.CombLogic property) (alkaid.types.Op attribute) latency_cutoff (alkaid.trace.fixed_variable.HWConfig attribute) lhs (alkaid.trace.fixed_variable_array.FVArray property) load() (alkaid.stateful.fsm.FSM class method) (alkaid.types.CombLogic class method)

lookup() (alkaid.trace.fixed_variable.FVariable method) (alkaid.trace.fixed_variable.LookupTable method) lookup_name() (in module alkaid.codegen.rtl.verilog.lookup) lookup_ops() (in module alkaid.codegen.rtl.verilog.lookup) lookup_source() (in module alkaid.codegen.rtl.verilog.lookup) (in module alkaid.codegen.rtl.vhdl.lookup) 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) merge() (alkaid.codegen.rtl.verilog.io_map.BitMap 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) 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.fsm alkaid.codegen.rtl.verilog.io_map alkaid.codegen.rtl.verilog.lookup alkaid.codegen.rtl.verilog.ternary alkaid.codegen.rtl.vhdl alkaid.codegen.rtl.vhdl.comb alkaid.codegen.rtl.vhdl.fsm alkaid.codegen.rtl.vhdl.lookup alkaid.codegen.rtl.vhdl.ternary alkaid.codegen.xls alkaid.codegen.xls.xls_codegen alkaid.codegen.xls.xls_model alkaid.converter alkaid.converter.example alkaid.converter.plugin alkaid.stateful alkaid.stateful.fsm alkaid.stateful.ordering 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.passes.ternary alkaid.trace.pipeline alkaid.trace.tracer alkaid.types alkaid.typing

ModuloSchedule (class in alkaid.stateful.fsm) msb() (alkaid.trace.fixed_variable.FVariable method) msb_mux() (alkaid.trace.fixed_variable.FVariable method)

N

n_valid_samples_between() (alkaid.stateful.fsm.ModuloSchedule method) needs_negative() (in module alkaid.trace.tracer) negate (alkaid.codegen.rtl.verilog.ternary.TernaryTerm attribute)

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 (alkaid.stateful.fsm.Dir attribute) 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) out_negs (alkaid.types.CombLogic attribute) out_qint (alkaid.trace.fixed_variable.TableSpec attribute) (alkaid.types.CombLogic property) out_shifts (alkaid.types.CombLogic attribute) out_signals (alkaid.stateful.fsm.FSM property) out_transpose_idxs (alkaid.trace.ops.einsum_utils.EinsumRecipe attribute) out_width (alkaid.codegen.rtl.verilog.ternary.TernaryLayout 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) pad (alkaid.codegen.rtl.verilog.ternary.TernaryTerm attribute) padded_table() (alkaid.trace.fixed_variable.LookupTable method) Pair (class in alkaid.types) parse_einsum() (in module alkaid.trace.ops.einsum_utils) period (alkaid.stateful.fsm.ModuloSchedule attribute) Precision (class in alkaid.types)

precisions (alkaid.stateful.fsm.Signal property) predict() (alkaid.codegen.hls.hls_model.HLSModel method) (alkaid.codegen.rtl.rtl_model.RTLModel method) (alkaid.codegen.xls.xls_model.XLSModel method) (alkaid.stateful.fsm.FSM method) (alkaid.stateful.fsm.FSMEmu method) (alkaid.types.CombLogic method)

Q

qint (alkaid.trace.affine_interval.AffineInterval property) (alkaid.trace.fixed_variable.FVariable property) (alkaid.types.Op attribute) (alkaid.types.Precision property) 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

raw (alkaid.stateful.fsm.Signal property) read() (alkaid.stateful.fsm.Signal method) 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.codegen.rtl.rtl_model.RTLModel property) regs (alkaid.stateful.fsm.FSM 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) rst_to (alkaid.stateful.fsm.Signal property) RTLModel (class in alkaid.codegen.rtl.rtl_model) run() (alkaid.codegen.rtl.rtl_model.RTLModel method) (alkaid.stateful.fsm.FSM method) (alkaid.stateful.fsm.FSMEmu method)

S

save() (alkaid.stateful.fsm.FSM method) (alkaid.types.CombLogic method) search_all_decompose_dc (alkaid.cmvm.solver_options_t attribute) searchsorted() (in module alkaid.trace.ops.histogram) set_port() (alkaid.codegen.rtl.rtl_model.RTLModel method) shape (alkaid.types.CombLogic attribute) shift (alkaid.types.Pair attribute) shift_adder() (in module alkaid.codegen.xls.xls_codegen) shifts (alkaid.types.DAState attribute) Signal (class in alkaid.stateful.fsm) signed (alkaid.codegen.rtl.verilog.ternary.TernaryTerm attribute) (alkaid.types.Precision attribute) size (alkaid.stateful.fsm.Signal property)

soft_reset() (alkaid.codegen.rtl.rtl_model.RTLModel method) (alkaid.stateful.fsm.FSMEmu method) solver_options_t (class in alkaid.cmvm) sort() (in module alkaid.trace.ops.sorting) src (alkaid.codegen.rtl.verilog.io_map.BitMap attribute) (alkaid.stateful.fsm.Conn attribute) 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) sum_adder() (in module alkaid.codegen.xls.xls_codegen)

T

t (alkaid.codegen.rtl.rtl_model.RTLModel property) t_to_dense_idx() (alkaid.stateful.fsm.ModuloSchedule method) table_hex() (in module alkaid.codegen.rtl.verilog.lookup) TableSpec (class in alkaid.trace.fixed_variable) terms (alkaid.codegen.rtl.verilog.ternary.TernaryLayout attribute) ternary_layout() (in module alkaid.codegen.rtl.verilog.ternary) ternary_line() (in module alkaid.codegen.rtl.verilog.ternary) (in module alkaid.codegen.rtl.vhdl.ternary) TernaryLayout (class in alkaid.codegen.rtl.verilog.ternary) TernaryTerm (class in alkaid.codegen.rtl.verilog.ternary) tick() (alkaid.codegen.rtl.rtl_model.RTLModel method) (alkaid.stateful.fsm.FSMEmu method) to_bool() (alkaid.trace.fixed_variable_array.FVArray method) to_bytecode() (alkaid.types.CombLogic method) to_dict() (alkaid.stateful.fsm.Conn method) (alkaid.stateful.fsm.FSM method) (alkaid.trace.fixed_variable.LookupTable method)

to_header() (in module alkaid.codegen.rtl.verilog.fsm) to_key() (in module alkaid.trace.passes.cse) to_list() (alkaid.stateful.fsm.ModuloSchedule method) (alkaid.stateful.fsm.Signal method) 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) toggle (alkaid.stateful.fsm.ModuloSchedule attribute) topo_bandwidth_sort() (in module alkaid.trace.passes.order) topo_check_and_sort() (in module alkaid.stateful.ordering) 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) upgrade_dict() (alkaid.types.CombLogic static method)

V

valid_mask (alkaid.stateful.fsm.ModuloSchedule property)

verilog_comb_logic_gen_xls() (in module alkaid.codegen.rtl.rtl_model) view (alkaid.stateful.fsm.Signal property)

W

width (alkaid.codegen.rtl.verilog.ternary.TernaryTerm attribute) (alkaid.stateful.fsm.Signal property) wires (alkaid.stateful.fsm.FSM property)

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

X

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