read_xaiger2 - (experimental) read XAIGER file

yosys> help read_xaiger2

read_xaiger2 -sc_mapping [options] <filename>

Read a standard cell mapping from a XAIGER file into an existing module.

-module_name <name>

name of the target module

-map2 <filename>

read file with symbol information

WARNING: THE 'read_xaiger2' COMMAND IS EXPERIMENTAL.