Documentation on modifying the CW's openadc specification


I wanted to obtain “windowed” traces and seem to run into the exact same issue a person on this forum before me: Question about trigger high/low in CWLite firmware: short op

The suggested in the issue is to change the verilog files:

Is there any documentation on how to synthesize and flash the new specification onto the CW once I modified the respective verilog files?