Klaus Schneider 0001, Anoop Bhagyanath, Julius Roob. Virtual Buffers for Exposed Datapath Architectures. In Methods and Description Languages for Modelling and Verification of Circuits and Systems, MBMV 2022, 25th Workshop, Virtual Event, Germany, February 17-18, 2022. pages 1-11, VDE/IEEE, 2022. [doi]
Abstract is missing.