write_simplec - convert design to simple C code

yosys> help write_simplec

write_simplec [options] [filename]

Write simple C code for simulating the design. The C code written can be used to
simulate the design in a C environment, but the purpose of this command is to
generate code that works well with C-based formal verification.

-verbose

this will print the recursive walk used to export the modules.

-i8, -i16, -i32, -i64

set the maximum integer bit width to use in the generated code.

THIS COMMAND IS UNDER CONSTRUCTION