diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2019-11-26 22:59:05 -0800 |
|---|---|---|
| committer | Eddie Hung <eddie@fpgeh.com> | 2019-11-26 22:59:05 -0800 |
| commit | 5e67df38edf5207a9b816946b094448cd6a52f88 (patch) | |
| tree | 74876e66b0eb51d69e97ce6744cad3cdca3781ad /backends/aiger | |
| parent | 15042eaf577eff423924521c1c828584ba66914f (diff) | |
| download | yosys-5e67df38edf5207a9b816946b094448cd6a52f88.tar.gz yosys-5e67df38edf5207a9b816946b094448cd6a52f88.tar.bz2 yosys-5e67df38edf5207a9b816946b094448cd6a52f88.zip | |
latch -> box
Diffstat (limited to 'backends/aiger')
| -rw-r--r-- | backends/aiger/xaiger.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/backends/aiger/xaiger.cc b/backends/aiger/xaiger.cc index 9e5d44470..a77949b4f 100644 --- a/backends/aiger/xaiger.cc +++ b/backends/aiger/xaiger.cc @@ -816,7 +816,7 @@ struct XAigerBackend : public Backend { log(" write ASCII version of AIGER format\n"); log("\n"); log(" -map <filename>\n"); - log(" write an extra file with port and latch symbols\n"); + log(" write an extra file with port and box symbols\n"); log("\n"); log(" -vmap <filename>\n"); log(" like -map, but more verbose\n"); |