TY - RPRT TI - Rule-based High-level Hardware-RTL Synthesis of Algorithms, Virtualizing Machines, and Communication Protocols with FPGAs based on Concurrent Communicating Sequential Processes and the ConPro Synthesis Framework AU - Stefan Bosse PY - 2023 UR - https://arxiv.org/abs/2302.02959 ID - 2302.02959 ER -