write_smv - write design to SMV file¶
yosys> help write_smv¶
write_smv [options] [filename]
Write an SMV description of the current design.
this will print the recursive walk used to export the modules.
use the given template file. the line containing only the token '%%' is replaced with the regular output of this command.
THIS COMMAND IS UNDER CONSTRUCTION