Options for AIGER import. More...
#include <ImportAIGER.h>
Collaboration diagram for circt::aiger::ImportAIGEROptions:
Public Attributes | |
| std::string | topLevelModule = "aiger_top" |
| The name to use for the top-level module. | |
Detailed Description
Options for AIGER import.
Definition at line 29 of file ImportAIGER.h.
Member Data Documentation
◆ topLevelModule
| std::string circt::aiger::ImportAIGEROptions::topLevelModule = "aiger_top" |
The name to use for the top-level module.
If empty, a default name will be generated.
Definition at line 32 of file ImportAIGER.h.
The documentation for this struct was generated from the following file:
- /home/runner/work/circt-www/circt-www/circt_src/include/circt/Conversion/ImportAIGER.h
