hls4ml.backends.symbolic.passes package

Submodules

hls4ml.backends.symbolic.passes.expr_templates module

hls4ml.backends.symbolic.passes.validate_lut module

class hls4ml.backends.symbolic.passes.validate_lut.ValidateUserLookupTable

Bases: ConfigurableOptimizerPass

Validates the precision of user-defined LUTs is adequate

match(node)

Predicate to match on a given node.

Parameters:

node (Layer) – Node in the model graph to try matching the optimizer on.

transform(model, node)

Transformation to apply if matching was successful.

Transform should return a boolean value indicating if the model graph was altered (by adding/removing nodes).

Parameters:

• model (ModelGraph) – Model to optimize

• node (Layer) – The matched node in the model graph.

Module contents