write_btor - write design to BTOR file

yosys> help write_btor

write_btor [options] [filename]

Write a BTOR description of the current design.

-v

Add comments and indentation to BTOR output file

-s

Output only a single bad property for all asserts

-c

Output cover properties using 'bad' statements instead of asserts

-i <filename>

Create additional info file with auxiliary information

-x

Output symbols for internal netnames (starting with '$')

-ywmap <filename>

Create a map file for conversion to and from Yosys witness traces