B0WEN-HU / GSoC-19-Proposal

GSoC19: Cycle-accurate Verilog Design Simulation Integration @ GNU Radio

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

GSoC 2019: Cycle-accurate Verilog Design Simulation Integration

Bowen Hu

1 Introduction

Hardware accelerators are necessary or at least desirable in many SDR systems. GNU Radio provides an open and free platform for designing real time SDR system. This proposal elaborates the architecture of Verilog design simulation integration, utilizing the existing tool, Verilator.

2 Reasons for integrating hardware simulation

In order to achieve a fast and efficient real-time SDR system, Hardware accelerators are commonly used. These accelerators generally are designed with HDL, like Verilog, and implemented on FPGA, a programmable hardware device. The typical workflow to design a FPGA accelerator is like Figure 1.

st((Start)) --> op1[Determine the specification and algorithm of the system]
op1 --> tag1(Software workflow part)
tag1 --> op2[Proof the concept with software code Matlab/Python]
op2 --> op3[Verify the software code with extensive test cases]
op3 --> cond1{Passed?}
cond1 --YES--> tag2(Hard workflow part)
tag2 --> op4[Implement the same algorithm with HDL]
cond1 --NO--> tag1
op4 --> op5[Verify the hardware design with extensive testbenches]
op5 --> cond2{Passed?}
cond2 --YES--> e((End))
cond2 --NO--> tag2
Figure 1

This development workflow is complicated and hard to cooperate with the existing SDR system. However, with Verilator, Verilog code could be simulated and tested within GNU Radio flow, which could save a lot of effort writing test cases, greatly simplify the development process, and test the hardware design in a real system scenario. Verilator is a Verilog simulator. Verilator can compile synthesizable Verilog code into C++ code, which is especially well suited to generate executable hardware model for software environment.

3 Architecture of integrated Verilog design simulation

Considering the limitation that synthesizable Verilog codes only accept sets of logic symbols(Boolean vectors) as input or output, just like real hardware devices do, various data types in GNU Radio have to be converted into the suitable type for Verilog code.

The executable hardware model generated by Verilator is cycle-accurate. Thus, there have to be a control module which generate control signal that make the executable hardware model works as designed.

Because it is unreasonable to compile and restart the GNU Radio after the Verilog module was changed, the whole process should work at runtime.

In order to solve these problems, this project should be divided into the following parts.

  • Converter for executable hardware model: It is important to build the suitable data type converter for Verilog to work with other GNU Radio blocks.

  • Verilog/C++ parsing tool: Because the Verilog code comes from an external file, it is necessary to parse the Verilog code or C++ code generated by Verilator to get the ports in Verilog.

  • Control signal module: The control signal module should give right control signal, clock or reset signal for example, to the Verilog module and handle the cycle of input and output.

  • Plugin structure for external Verilog code: The external Verilog code should be compiled and executed at runtime.

4 Proposed work during GSoC period

Work deliverables and details are listed below.

  • Deliverables

    • The functional code that can make external Verilog code compiled and executed at run time, convert the data type to make the Verilog module work with the GNU Radio properly, and give the right timing control signal to control the Verilog module as designed.
    • Examples and software test cases for fundamental blocks, for example, a FIFO and a integer squarer.
    • Documentations for the code.
  • Details

    • Converter: The converter module will convert the data type suitable for the Verilog module. It will only be implemented for several default rules of data type conversion, like Integer 32 and Float 32.

    Issue:{{Users might want to specify the rules of data conversion in case that the default rules won't work properly. I wonder whether it is a part of the job?}}

    • Control signal module: The control signal module will generate clock, reset and any other essential signals to control the Verilog module. moreover, it will handle the input and output with correct timing, make the Verilog module works as intended.

    Issue:{{Due to cycle-accurate Verilog simulation by Verilator, the timing of input and output may vary in different module. For example, there might be uncertain number of cycles before the output data is valid(However, the author of the module should know about it).Or, some module would have to take its time to do the calculation, and won't respond to the input data for several cycles, which means if we put the data to the input port during these cycles, the data would just be ignored. I am not sure what should we do to deal with this issue.}}

    • Plugin structure: The plugin structure makes the external Verilog code be compiled and executed at runtime. It should be implemented through a dynamic link library(shared library) with fixed interface, and called at runtime.

5 Timeline

  • May 6 - May 26 - Learn related knowledge and Discuss with the mentor.

  • May 27 - May 31 - Coding - Build the structure of the whole module.

  • June 1 - June 7 - Coding - Build the default rules and implementation of converter.

  • June 8 - June 14 - Coding - Build the parsing tool which can get the ports in Verilog.

  • June 15 - June 21 - Coding - QA test for the converter and parsing tool.

  • June 22 - June 28 - Submit Phase 1 Evaluation

  • June 28 - July 5 - Coding - Build the control module.

  • July 6 - July 12 - Coding - Build some simple Verilog test cases.

  • July 13 - July 19 - Coding - Combine all modules, and test it.

  • July 20 - July 26 - Submit Phase 2 Evaluation

  • July 27 - August 2 - Integrate the module to GNU Radio.

  • August 3 - August 9 - Coding - Add more features and improve the code.

  • August 10- August 16 - Add documentations.

  • August 17- August 26 - Submit final work product and final evaluation

About

GSoC19: Cycle-accurate Verilog Design Simulation Integration @ GNU Radio