aboutsummaryrefslogtreecommitdiff
path: root/src/test/scala/firrtlTests/PresetRegAnnotationSpec.scala
AgeCommit message (Collapse)Author
2021-06-15make PresetRegAnnotation public (#2254)Kevin Laeufer
* make PresetRegAnnotation public this annotation is useful outside the firrtl compiler: - to implement a pass that creates registers which need to be initialized at the beginning of simulation (e.g., for formal verification) - to support preset registers in treadle * add PresetRegAnnotation test and deal with annotation correctly in RemoveReset pass