@misc{indiciae089dd0baa9ec, title = {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}, author = {Stefan Bosse}, year = {2023}, url = {https://arxiv.org/abs/2302.02959}, note = {Source identifier: 2302.02959} }