#include "circt/Dialect/FIRRTL/FIRRTLAnnotations.h"#include "circt/Dialect/FIRRTL/FIRRTLOps.h"#include "circt/Dialect/FIRRTL/FIRRTLTypes.h"#include "circt/Dialect/FIRRTL/Passes.h"#include "mlir/IR/Attributes.h"#include "mlir/IR/Builders.h"#include "mlir/Pass/Pass.h"#include "circt/Dialect/FIRRTL/Passes.h.inc"
Include dependency graph for RandomizeRegisterInit.cpp:
Go to the source code of this file.
Namespaces | |
| circt | |
| The InstanceGraph op interface, see InstanceGraphInterface.td for more details. | |
| circt::firrtl | |
Macros | |
| #define | GEN_PASS_DEF_RANDOMIZEREGISTERINIT |
Functions | |
| static void | createRandomizationAttributes (FModuleOp mod) |
| Create attributes indicating the required size of random initialization values for each register in the module, and mark which range of these values each register should consume. More... | |
Macro Definition Documentation
◆ GEN_PASS_DEF_RANDOMIZEREGISTERINIT
| #define GEN_PASS_DEF_RANDOMIZEREGISTERINIT |
Definition at line 23 of file RandomizeRegisterInit.cpp.
Function Documentation
◆ createRandomizationAttributes()
|
static |
Create attributes indicating the required size of random initialization values for each register in the module, and mark which range of these values each register should consume.
The goal is for registers to always read the same random bits for the same seed, regardless of optimizations that might remove registers.
Definition at line 50 of file RandomizeRegisterInit.cpp.
References assert(), and circt::firrtl::getBitWidth().
