zipcpu icon indicating copy to clipboard operation
zipcpu copied to clipboard

Published 20 hours ago • verified publisher icon ZipCPU

mm2s dma formal verification

Open Sya0 opened this issue 9 months ago • 1 comments

This pull request contains formal verification and simulation for the mm2s dma module.

  • Formal verification has been written and some design bugs are fixed.
  • Test suite is developed and simple dmachecker module is added.
  • There are also some side changes regarding to testbench and other scripts.

Sya0 avatar May 23 '24 17:05 Sya0