Timing Driven C-Slow Retiming on RTL for MultiCores on FPGAs

07/14/2018
by   Tobias Strauch, et al.
0

In this paper C-Slow Retiming (CSR) on RTL is discussed. CSR multiplies the functionality of cores by adding the same number of registers into each path. The technique is ideal for FPGAs with their already existing registers. Previously publications are limited to adding registers on netlist level, which generates a lot of system verification problems and which is assumed to be the major drawback to use this technology in the modern multicore times. The paper shows how CSR can efficiently be done with timing driven automatic RTL modification. The methodology provided with this paper can be used as guidance for using CSR in high level synthesis (HLS). The paper shows the results of a CSR-ed complex RISC core on RTL implemented on FPGAs.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
08/15/2023

A Scalable Formal Verification Methodology for Data-Oblivious Hardware

The importance of preventing microarchitectural timing side channels in ...
research
09/09/2021

Automatic Timing-Coherent Transactor Generation for Mixed-level Simulations

In this paper we extend the concept of the traditional transactor, which...
research
11/05/2018

Formally Verifying WARP-V, an Open-Source TL-Verilog RISC-V Core Generator

Timing-abstract and transaction-level design using TL-Verilog have shown...
research
08/26/2022

Synthesis of Distributed Agreement-Based Systems with Efficiently-Decidable Verification (Extended Version)

Distributed agreement-based (DAB) systems use common distributed agreeme...
research
04/22/2022

MITL Verification Under Timing Uncertainty

A Metric Interval Temporal Logic (MITL) verification algorithm is presen...
research
05/22/2020

Accelerate Cycle-Level Full-System Simulation of Multi-Core RISC-V Systems with Binary Translation

It has always been difficult to balance the accuracy and performance of ...

Please sign up or login with your details

Forgot password? Click here to reset