vivado中ttcl文件是16进制格式

vivado目录下有一些ttcl文件不是ascii文本格式，而是以XlxV50EB开始的十六进制文件，这种文件要怎么产生?