vitocuda sourcefile.v [testbench1.cu [testbench2.cu]] [>result.cu]
Items in [] are optional.
Output is sent to standard output.
Thus, vitocuda can be used as a filter, but more commonly the result is redirected to a file with a .cu extension, which can be compiled by nvcc.
If provided, VITOCUDA inserts testbench code written in CUDA into the result produced. The distinction between the two testbenches is whether the testbench executed in each simulated clock cycle (testbench2.cu), or only at at regular intervals that can be specified in the run-time invocation of the CUDA kernel (testbench1.cu). See the examples directory for more information.