Algorithm Verification with Open Source and System Verilog

Author(s):
Andra Socianu and Daniel Ciupitu