Compiling source file "ks.v"
Compiling source file "tb2ks.v"
Highest level modules:
tb2ks

num_correct =      131072, num_wrong =           0