Algorithm Verification with Open Source and System Verilog Author(s): Andra Socianu and Daniel Ciupitu Download