Class VerilogTransformerSvaStatement

    • Constructor Detail

      • VerilogTransformerSvaStatement

        public VerilogTransformerSvaStatement​(java.util.Map<java.lang.String,​SvaInstantiation> instances)
    • Method Detail

      • transform

        public ru.ispras.fortress.expression.Node transform​(ru.ispras.fortress.expression.Node node)
        Specified by:
        transform in class VerilogTransformer