Metadata for a tracked signal in the trace. More...
#include <BMCTrace.h>
Collaboration diagram for circt::bmc::BMCTrace::Signal:
Public Attributes | |
| std::string | name |
| unsigned | width |
Detailed Description
Metadata for a tracked signal in the trace.
Definition at line 47 of file BMCTrace.h.
Member Data Documentation
◆ name
| std::string circt::bmc::BMCTrace::Signal::name |
Definition at line 48 of file BMCTrace.h.
Referenced by esiaccel.types.TypeAlias::__str__().
◆ width
| unsigned circt::bmc::BMCTrace::Signal::width |
Definition at line 49 of file BMCTrace.h.
The documentation for this struct was generated from the following file:
- /home/runner/work/circt-www/circt-www/circt_src/include/circt/Tools/circt-bmc/BMCTrace.h
