VEX binary

Usage of VEX tools

VEX binary

Postby Ashu » Tue Aug 01, 2006 5:05 am

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
 
Posts: 7
Joined: Thu Jul 13, 2006 1:28 pm
Location: Noida, India

Re: VEX binary

Postby frb » Tue Aug 01, 2006 10:45 pm

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.

-- Paolo
frb
 
Posts: 62
Joined: Thu Nov 12, 2009 3:44 pm


Return to VEX Tools



Who is online

Users browsing this forum: No registered users and 13 guests

cron