☢️ Libero backend for rad-hard PolarFire line of FPGAs

hls4ml/backends/__init__.py

@@ -1,5 +1,6 @@
 from hls4ml.backends.backend import Backend, get_available_backends, get_backend, register_backend  # noqa: F401
 from hls4ml.backends.fpga.fpga_backend import FPGABackend  # noqa: F401
+from hls4ml.backends.libero.libero_backend import LiberoBackend
 from hls4ml.backends.oneapi.oneapi_backend import OneAPIBackend
 from hls4ml.backends.quartus.quartus_backend import QuartusBackend
 from hls4ml.backends.symbolic.symbolic_backend import SymbolicExpressionBackend
@@ -18,3 +19,4 @@
 register_backend('Catapult', CatapultBackend)
 register_backend('SymbolicExpression', SymbolicExpressionBackend)
 register_backend('oneAPI', OneAPIBackend)
+register_backend('Libero', LiberoBackend)

hls4ml/backends/libero/libero_backend.py

@@ -0,0 +1,192 @@
+import os
+import subprocess
+import sys
+
+from hls4ml.backends import FPGABackend
+from hls4ml.model.attributes import ChoiceAttribute
+from hls4ml.model.flow import register_flow
+from hls4ml.model.layers import Dense, Layer
+from hls4ml.model.optimizer import layer_optimizer
+from hls4ml.report import parse_libero_report
+
+
+class LiberoBackend(FPGABackend):
+    def __init__(self):
+        super().__init__(name='Libero')
+        self._register_layer_attributes()
+        self._register_flows()
+
+    def _register_layer_attributes(self):
+        strategy_layers = [
+            Dense,
+        ]
+
+        for layer in strategy_layers:
+            attrs = self.attribute_map.get(layer, [])
+            attrs.append(
+                ChoiceAttribute(
+                    'strategy',
+                    choices=['Latency', 'Resource'],
+                    default='Latency',
+                )
+            )
+            self.attribute_map[layer] = attrs
+
+    def _register_flows(self):
+        initializers = self._get_layer_initializers()
+        init_flow = register_flow('init_layers', initializers, requires=['optimize'], backend=self.name)
+
+        libero_types = [
+            'libero:transform_types',
+            'libero:set_pipeline_style',
+        ]
+        libero_types_flow = register_flow('specific_types', libero_types, requires=[init_flow], backend=self.name)
+
+        template_flow = register_flow('apply_templates', self._get_layer_templates, requires=[init_flow], backend=self.name)
+
+        writer_passes = ['make_stamp', 'libero:write_hls']
+        self._writer_flow = register_flow('write', writer_passes, requires=['libero:ip'], backend=self.name)
+
+        ip_flow_requirements = [
+            'optimize',
+            init_flow,
+            libero_types_flow,
+            template_flow,
+        ]
+
+        self._default_flow = register_flow('ip', None, requires=ip_flow_requirements, backend=self.name)
+
+    def get_default_flow(self):
+        return self._default_flow
+
+    def get_writer_flow(self):
+        return self._writer_flow
+
+    def create_initial_config(
+        self,
+        fpga_family='PolarFire',
+        part='MPF300',
+        board='hw_only',
+        clock_period=5,
+        clock_uncertainty='27%',
+        io_type='io_parallel',
+        namespace=None,
+        write_weights_txt=True,
+        write_tar=False,
+        **_,
+    ):
+        """Create initial configuration of the Libero backend.
+
+        Args:
+            part (str, optional): The FPGA part to be used. Defaults to 'MPF300'.
+            clock_period (int, optional): The clock period. Defaults to 5.
+            clock_uncertainty (str, optional): The clock uncertainty. Defaults to 27%.
+            io_type (str, optional): Type of implementation used. One of
+                'io_parallel' or 'io_stream'. Defaults to 'io_parallel'.
+            namespace (str, optional): If defined, place all generated code within a namespace. Defaults to None.
+            write_weights_txt (bool, optional): If True, writes weights to .txt files which speeds up compilation.
+                Defaults to True.
+            write_tar (bool, optional): If True, compresses the output directory into a .tar.gz file. Defaults to False.
+
+        Returns:
+            dict: initial configuration.
+        """
+        config = {}
+
+        config['FPGAFamily'] = fpga_family if fpga_family is not None else 'PolarFire'
+        config['Part'] = part if part is not None else 'MPF300'
+        config['Board'] = board if board is not None else 'hw_only'
+        config['ClockPeriod'] = clock_period if clock_period is not None else 5
+        config['IOType'] = io_type if io_type is not None else 'io_parallel'
+        config['HLSConfig'] = {}
+        config['WriterConfig'] = {
+            'Namespace': namespace,
+            'WriteWeightsTxt': write_weights_txt,
+            'WriteTar': write_tar,
+        }
+
+        return config
+
+    def build(
+        self,
+        model,
+        reset=False,
+        skip_preqs=False,
+        sw_compile=True,
+        hw=True,
+        cosim=False,
+        rtl_synth=False,
+        fpga=False,
+        **kwargs,
+    ):
+        """Build the model using Libero suite and SmartHLS compiler. Additional arguments passed to the function in form of
+        `<arg>=True` will be passed as an argument to the `shls` command. See SmartHLS user guide for list of possible
+        command line options.
+
+        Args:
+            model (ModelGraph): Model to build
+            reset (bool, optional): Clean up any existing files. Defaults to False.
+            skip_preqs(bool, optional): Skip any prerequisite step that is outdated. Defaults to False.
+            sw_compile (bool, optional): Compile the generated HLS in software. Defaults to True.
+            hw (bool, optional): Compile the software to hardware, producing a set of Verilog HDL files. Defaults to True.
+            cosim (bool, optional): Run co-simulation. Defaults to False.
+            rtl_synth (bool, optional): Run RTL synthesis for resource results. This will take less time than `fpga`.
+                Defaults to False.
+            fpga (bool, optional): Synthesize the generated hardware to target FPGA. This runs RTL synthesis and
+                place-and-route for resource and timing results. Defaults to False.
+
+        Raises:
+            Exception: Raised if the `shls` command has not been found
+            CalledProcessError: Raised if SmartHLS returns non-zero code for any of the commands executed
+
+        Returns:
+            dict: Detailed report produced by SmartHLS.
+        """
+        if 'linux' in sys.platform:
+            found = os.system('command -v shls > /dev/null')
+            if found != 0:
+                raise Exception('Libero/SmartHLS installation not found. Make sure "shls" is on PATH.')
+
+        def run_shls_cmd(cmd_name):
+            subprocess.run(
+                ['shls', '-s', cmd_name],
+                shell=False,
+                check=True,
+                stdout=sys.stdout,
+                stderr=sys.stderr,
+                cwd=model.config.get_output_dir(),
+            )
+
+        if reset:
+            run_shls_cmd('clean')
+        if sw_compile:
+            run_shls_cmd('sw_compile')
+        if hw:
+            run_shls_cmd('hw')
+        if cosim:
+            run_shls_cmd('cosim')
+        if rtl_synth:
+            run_shls_cmd('rtl_synth')
+        if fpga:
+            run_shls_cmd('fpga')
+
+        for arg_name, arg_val in kwargs.items():
+            if arg_val:
+                run_shls_cmd(arg_name)
+
+        return parse_libero_report(model.config.get_output_dir())
+
+    @layer_optimizer(Layer)
+    def init_base_layer(self, layer):
+        reuse_factor = layer.model.config.get_reuse_factor(layer)
+        layer.set_attr('reuse_factor', reuse_factor)
+
+    @layer_optimizer(Dense)
+    def init_dense(self, layer):
+        if layer.model.config.is_resource_strategy(layer):
+            n_in, n_out = self.get_layer_mult_size(layer)
+            self.set_target_reuse_factor(layer)
+            self.set_closest_reuse_factor(layer, n_in, n_out)
+            layer.set_attr('strategy', 'resource')
+        else:
+            layer.set_attr('strategy', 'latency')

hls4ml/backends/libero/libero_types.py

@@ -0,0 +1,125 @@
+from hls4ml.backends.fpga.fpga_types import (
+    ArrayVariableConverter,
+    ExponentPrecisionType,
+    FixedPrecisionConverter,
+    FixedPrecisionType,
+    InplaceStreamVariableConverter,
+    IntegerPrecisionType,
+    PrecisionDefinition,
+    StreamVariableConverter,
+    VariableDefinition,
+    XnorPrecisionType,
+)
+
+# region ArrayVariable
+
+
+class LiberoArrayVariableDefinition(VariableDefinition):
+    def definition_cpp(self, name_suffix='', as_reference=False):
+        return '{type} {name}{suffix}[{shape}]'.format(
+            type=self.type.name, name=self.name, suffix=name_suffix, shape=self.size_cpp()
+        )
+
+
+class LiberoInplaceArrayVariableDefinition(VariableDefinition):
+    def definition_cpp(self):
+        return f'auto& {self.name} = {self.input_var.name}'
+
+
+class LiberoArrayVariableConverter(ArrayVariableConverter):
+    def __init__(self, type_converter):
+        super().__init__(type_converter=type_converter, prefix='Libero', definition_cls=LiberoArrayVariableDefinition)
+
+
+class LiberoInplaceArrayVariableConverter(ArrayVariableConverter):
+    def __init__(self, type_converter):
+        super().__init__(type_converter=type_converter, prefix='Libero', definition_cls=LiberoInplaceArrayVariableDefinition)
+
+
+# endregion
+
+# region StreamVariable
+
+
+class LiberoStreamVariableDefinition(VariableDefinition):
+    def definition_cpp(self, name_suffix='', as_reference=False):
+        if as_reference:  # Function parameter
+            return f'hls::FIFO<{self.type.name}> &{self.name}{name_suffix}'
+        else:  # Declaration
+            return 'hls::FIFO<{type}> {name}{suffix}({depth})'.format(
+                type=self.type.name, name=self.name, depth=self.pragma[1], suffix=name_suffix
+            )
+
+
+class LiberoInplaceStreamVariableDefinition(VariableDefinition):
+    def definition_cpp(self):
+        return f'auto& {self.name} = {self.input_var.name}'
+
+
+class LiberoStreamVariableConverter(StreamVariableConverter):
+    def __init__(self, type_converter):
+        super().__init__(type_converter=type_converter, prefix='Libero', definition_cls=LiberoStreamVariableDefinition)
+
+
+# endregion
+
+# region InplaceStreamVariable
+
+
+class LiberoInplaceStreamVariableConverter(InplaceStreamVariableConverter):
+    def __init__(self, type_converter):
+        super().__init__(
+            type_converter=type_converter, prefix='Libero', definition_cls=LiberoInplaceStreamVariableDefinition
+        )
+
+
+# endregion
+
+# region Precision types
+
+
+class LAPIntegerPrecisionDefinition(PrecisionDefinition):
+    def definition_cpp(self):
+        typestring = 'hls::ap_{signed}int<{width}>'.format(signed='u' if not self.signed else '', width=self.width)
+        return typestring
+
+
+class LAPFixedPrecisionDefinition(PrecisionDefinition):
+    def _rounding_mode_cpp(self, mode):
+        if mode is not None:
+            return 'AP_' + str(mode)
+
+    def _saturation_mode_cpp(self, mode):
+        if mode is not None:
+            return 'AP_' + str(mode)
+
+    def definition_cpp(self):
+        args = [
+            self.width,
+            self.integer,
+            self._rounding_mode_cpp(self.rounding_mode),
+            self._saturation_mode_cpp(self.saturation_mode),
+        ]
+        if args[2] == 'AP_TRN' and args[3] == 'AP_WRAP':
+            # This is the default, so we won't write the full definition for brevity
+            args[2] = args[3] = None
+
+        args = ','.join([str(arg) for arg in args if arg is not None])
+        typestring = 'hls::ap_{signed}fixpt<{args}>'.format(signed='u' if not self.signed else '', args=args)
+        return typestring
+
+
+class LAPTypeConverter(FixedPrecisionConverter):
+    def __init__(self):
+        super().__init__(
+            type_map={
+                FixedPrecisionType: LAPFixedPrecisionDefinition,
+                IntegerPrecisionType: LAPIntegerPrecisionDefinition,
+                ExponentPrecisionType: LAPIntegerPrecisionDefinition,
+                XnorPrecisionType: LAPIntegerPrecisionDefinition,
+            },
+            prefix='LAP',
+        )
+
+
+# endregion