dadongshangu / async_fifo

This asynchrounous FIFO deisgn and UVM verificaiton is one case study of me. The design is based on Cliff Cumming's paper and the UVM is coded by me(Xianghzi Meng)

async_FIFO design

This asynchronous FIFO design is based entirely on Cliff Cumming’s paper Simulation and Synthesis Techniques for Asynchronous FIFO Design.

Plan

• 1. Create the Async FIFO. (Done)
• 2. Try the basec verilog TB. (Done)
• 3. Try the UVM verification. (Done)

Status

1. 2020.09.06: Basic RTL done.
2. 2020.09.06: Basic verilog TB done.
3. 2020.09.17: UVM verification TB done.

About the UVM verification.

The UVM verification codes are learned and referred to Zhangqiang's book CummingsSNUG2002SJ_FIFO1.pdf(《UVM实战》).

File introduction:

│  CummingsSNUG2002SJ_FIFO1.pdf      #Zhangqiang's book.
│  README.md
│  
├─flist
│      filelist.f
│      filelist_uvm.f
│      
├─sim                                #Simple verilog testbench.
│      makefile
│      README
│      top_tb.v
│      
├─sim_uvm                            #UVM testbench.
│      asyncf_case0.sv               #case0
│      asyncf_case0_seq.sv           #case0 sequence
│      asyncf_case1.sv               #case1
│      asyncf_case1_seq.sv           #case1 sequence
│      asyncf_down_agent.sv          #FIFO downstream agent
│      asyncf_down_driver.sv         #FIFO downstream driver
│      asyncf_down_monitor.sv        #FIFO downstream monitor
│      asyncf_down_seq.sv            #FIFO downstream sequence
│      asyncf_down_sequencer.sv      #FIFO downstream sequencer
│      asyncf_down_transaction.sv    #FIFO downstream transaction defination
│      asyncf_driver.sv              #FIFO upstream driver
│      asyncf_env.sv                 #Total env.
│      asyncf_if.sv                  #FIFO interface defination: up_if/down_if
│      asyncf_model.sv               #Reference mode.
│      asyncf_scoreboard.sv          #Scoreboard
│      asyncf_transaction.sv         #FIFO upstream transaction defination.
│      asyncf_up_agent.sv            #FIFO upstream agent
│      asyncf_up_monitor.sv          #FIFO upstream monitor
│      asyncf_up_seq.sv              #FIFO upstream sequence
│      asyncf_up_sequencer.sv        #FIFO upstream sequencer
│      asyncf_virtual_sequencer.sv   #Virtual sequencer
│      base_test.sv                  #Bae test
│      debug.rc                      #verdi signal list.
│      makefile                      #make case0 to run case0
│      README.md
│      top_tb.sv                     #TOP file
│      
├─spyglass                           #spyglass script to check DUT
│      async_fifo.prj
│      makefile
│      README
│      run_sg.tcl
│      
├─src                                #DUT
│      async_fifo.v
│      fifo_mem.v
│      gray_sync2d.v
│      README.md
│      rptr_empty.v
│      wptr_full.v
│      
└─synthesis                           #Synthesis script. You need to replace the link/target_library. 
        main.tcl
        makefile
        README
        synopsys.tcl
        timing.tcl

Contributing

If you'd like to add or improve this software design, your contribution is welcome!

License

This repository is released under the MIT license. In short, this means you are free to use this software in any personal, open-source or commercial projects. Attribution is optional but appreciated.

async_fifo's Issues

question

您好，我有一点疑问，想问一下asyncf_down_transaction在asyncf_case1_sequence中是被当作读信号发送给sequencer，需要用约束把他的rinc约束为1吗

Parameters not transferred

In the top module, the sync_r2w and sync_w2r synchronization submodules are not assigned an address bus width. This causes errors when you change the FIFO depth.