How can I get the vex binary file ? From the given tool flow, I could only get the vex assembly file, which is directly converted to C file/host binary by s2cs.
Ashu wrote:How can I get the vex binary file ? From the given tool flow, I could only get the vex assembly file, which is directly converted to C file/host binary by s2cs.
There is no such concept as a "vex binary format". VEX uses a compiled simulation approach that - as you correctly say - generates a C representation of VEX assembler.