Class ModelUtils


  • public class ModelUtils
    extends java.lang.Object
    • Method Detail

      • getValue

        public static ru.ispras.fortress.expression.NodeValue getValue​(VerilogLiteral literal)
      • extractLiteral

        public static VerilogLiteral extractLiteral​(ru.ispras.fortress.data.Data data)
      • newBitVector

        public static ru.ispras.fortress.data.Data newBitVector​(VerilogLiteral literal)
      • newInteger

        public static ru.ispras.fortress.data.Data newInteger​(VerilogLiteral literal)
      • newBoolean

        public static ru.ispras.fortress.data.Data newBoolean​(VerilogLiteral literal)
      • newReal

        public static ru.ispras.fortress.data.Data newReal​(VerilogLiteral literal)
      • getVariable

        public static ru.ispras.fortress.expression.NodeVariable getVariable​(VerilogReference reference,
                                                                             ru.ispras.fortress.transformer.ValueProvider valueProvider)
      • getVariable

        public static ru.ispras.fortress.expression.NodeVariable getVariable​(VerilogReference reference)
      • getReference

        public static VerilogReference getReference​(ru.ispras.fortress.expression.Node node)
      • getVariableName

        public static java.lang.String getVariableName​(VerilogDeclaration declaration)
      • getVariable

        public static ru.ispras.fortress.expression.NodeVariable getVariable​(VerilogDeclaration declaration,
                                                                             ru.ispras.fortress.transformer.ValueProvider valueProvider)
      • getVariable

        public static ru.ispras.fortress.expression.NodeVariable getVariable​(VerilogDeclaration declaration)
      • getDataType

        public static ru.ispras.fortress.data.DataType getDataType​(VerilogDeclaration declaration,
                                                                   ru.ispras.fortress.transformer.ValueProvider valueProvider,
                                                                   java.util.List<VerilogIndexRange> indexRanges)
      • getLowerBit

        public static int getLowerBit​(VerilogRange range,
                                      ru.ispras.fortress.transformer.ValueProvider valueProvider)
      • getUpperBit

        public static int getUpperBit​(VerilogRange range,
                                      ru.ispras.fortress.transformer.ValueProvider valueProvider)
      • getLowerBit

        public static int getLowerBit​(VerilogRange range)
      • getUpperBit

        public static int getUpperBit​(VerilogRange range)
      • getDefinedVariables

        public static java.util.Set<ru.ispras.fortress.expression.NodeVariable> getDefinedVariables​(VerilogAssignment assignment)
        Returns the set of variables used in the LHS of the assignment.
        Parameters:
        assignment - the assignment.
        Returns:
        the set of defined variables.
      • getUsedVariables

        public static java.util.Set<ru.ispras.fortress.expression.NodeVariable> getUsedVariables​(VerilogAssignment assignment)
        Returns the set of variables used in the RHS of the assignment.
        Parameters:
        assignment - the assignment.
        Returns:
        the set of used variables.
      • getVariableName

        public static java.lang.String getVariableName​(ru.ispras.fortress.expression.NodeOperation instance)
      • isSvaInstance

        public static boolean isSvaInstance​(ru.ispras.fortress.expression.Node node)
      • getNode

        public static ru.ispras.fortress.expression.Node getNode​(SvaDeclaration declaration)