Converting HOTA / BITCOV Files for Reporting

With HOTA and BITCOV, the coverage data is not written directly to a binary data file ("MON.dat"). The intermediate files generated have to be converted to that format first.

For HOTA, the counter data is typically written to a text version of the data file ("MON.txt"). This file can be converted with ctc2dat.

For BITCOV, the counter data is dumped from main memory. With dmp2txt, various dump formats can be converted to the text format MON.txt and then converted with ctc2dat.