Class SvaUtils
- java.lang.Object
-
- ru.ispras.verilog.parser.sva.util.SvaUtils
-
public final class SvaUtils extends java.lang.Object
Utils for SVA syntax tree building.
-
-
Constructor Summary
Constructors Constructor Description SvaUtils()
-
Method Summary
All Methods Static Methods Concrete Methods Modifier and Type Method Description static VerilogExpression
createExpressionAndInstance(VerilogNode parent, VerilogPath path, SvaDeclaration declaration)
static VerilogExpression
createExpressionAndInstance(VerilogNode parent, VerilogPath path, SvaDeclaration declaration, java.util.Collection<SvaPortConnection> connections)
static VerilogExpression
createExpressionAndInstance(VerilogNode parent, VerilogPath path, SvaDeclaration declaration, java.util.Collection<SvaPortConnection> connections, java.util.Collection<ru.ispras.fortress.expression.Node> nodes)
static SvaInstantiation
createSvaInstance(VerilogNode parent, java.lang.String path, SvaDeclaration declaration, java.util.Collection<SvaPortConnection> connections, java.util.Collection<ru.ispras.fortress.expression.Node> nodes)
static ru.ispras.fortress.expression.Node
createSvaInstNode(java.lang.String path, VerilogNode declaration, SvaInstantiation instance, java.util.Collection<ru.ispras.fortress.expression.Node> nodes)
static SvaDeclaration
findSvaDeclaration(java.lang.String name, VerilogNode parent)
static java.util.Collection<SvaPortConnection>
getConnections(java.util.List<VerilogExpression> expressions)
-
-
-
Method Detail
-
findSvaDeclaration
public static SvaDeclaration findSvaDeclaration(java.lang.String name, VerilogNode parent)
-
createSvaInstNode
public static ru.ispras.fortress.expression.Node createSvaInstNode(java.lang.String path, VerilogNode declaration, SvaInstantiation instance, java.util.Collection<ru.ispras.fortress.expression.Node> nodes)
-
createSvaInstance
public static SvaInstantiation createSvaInstance(VerilogNode parent, java.lang.String path, SvaDeclaration declaration, java.util.Collection<SvaPortConnection> connections, java.util.Collection<ru.ispras.fortress.expression.Node> nodes)
-
createExpressionAndInstance
public static VerilogExpression createExpressionAndInstance(VerilogNode parent, VerilogPath path, SvaDeclaration declaration, java.util.Collection<SvaPortConnection> connections, java.util.Collection<ru.ispras.fortress.expression.Node> nodes)
-
createExpressionAndInstance
public static VerilogExpression createExpressionAndInstance(VerilogNode parent, VerilogPath path, SvaDeclaration declaration)
-
createExpressionAndInstance
public static VerilogExpression createExpressionAndInstance(VerilogNode parent, VerilogPath path, SvaDeclaration declaration, java.util.Collection<SvaPortConnection> connections)
-
getConnections
public static java.util.Collection<SvaPortConnection> getConnections(java.util.List<VerilogExpression> expressions)
-
-