Documentation on modifying the CW's openadc specification

Hi!

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 - #3 by coflynn

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?

Thanks!