write_smv - write design to SMV file
write_smv [options] [filename] Write an SMV description of the current design. -verbose this will print the recursive walk used to export the modules. -tpl <template_file> 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