diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2020-04-14 08:03:58 -0700 |
|---|---|---|
| committer | Eddie Hung <eddie@fpgeh.com> | 2020-05-14 10:33:56 -0700 |
| commit | f975cf39cbedbca0482109b7aa625570a3857ee6 (patch) | |
| tree | db505ed50f5cb709ae80692debd6b5e4e07a03f5 /backends/aiger/xaiger.cc | |
| parent | 34c77326420e4f906544e26499683869c47d09aa (diff) | |
| download | yosys-f975cf39cbedbca0482109b7aa625570a3857ee6.tar.gz yosys-f975cf39cbedbca0482109b7aa625570a3857ee6.tar.bz2 yosys-f975cf39cbedbca0482109b7aa625570a3857ee6.zip | |
xaiger: update help text
Diffstat (limited to 'backends/aiger/xaiger.cc')
| -rw-r--r-- | backends/aiger/xaiger.cc | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/backends/aiger/xaiger.cc b/backends/aiger/xaiger.cc index 1006d56c6..b8d65de4e 100644 --- a/backends/aiger/xaiger.cc +++ b/backends/aiger/xaiger.cc @@ -762,10 +762,10 @@ struct XAigerBackend : public Backend { log(" write_xaiger [options] [filename]\n"); log("\n"); log("Write the top module (according to the (* top *) attribute or if only one module\n"); - log("is currently selected) to an XAIGER file. Any non $_NOT_, $_AND_, $_DFF_N_,\n"); - log(" $_DFF_P_, or non (* abc9_box_id *) cells will be converted into psuedo-inputs and\n"); - log("pseudo-outputs. Whitebox contents will be taken from the '<module-name>$holes'\n"); - log("module, if it exists.\n"); + log("is currently selected) to an XAIGER file. Any non $_NOT_, $_AND_, (optionally\n"); + log("$_DFF_N_, $_DFF_P_), or non (* abc9_box *) cells will be converted into psuedo-\n"); + log("inputs and pseudo-outputs. Whitebox contents will be taken from the\n"); + log("'<module-name>$holes' module, if it exists.\n"); log("\n"); log(" -ascii\n"); log(" write ASCII version of AIGER format\n"); |