Class VerilogInstantiator
- java.lang.Object
-
- ru.ispras.verilog.parser.elaborator.VerilogInstantiator
-
public final class VerilogInstantiator extends java.lang.Object
VerilogInstantiator
produces a process instance.
-
-
Constructor Summary
Constructors Constructor Description VerilogInstantiator(VerilogActivity activity, VerilogContext context)
VerilogInstantiator(VerilogAssign assign, VerilogContext context)
VerilogInstantiator(VerilogDeclaration declaration, VerilogContext context, boolean toAssign)
VerilogInstantiator(SvaAssertionStatement assertion, VerilogContext context)
VerilogInstantiator(SvaInstantiation instance, VerilogContext context)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description VerilogDescriptor
instantiateDescriptor(VerilogVariable variable, java.util.Map<java.lang.String,VerilogDescriptor> variables, java.util.Map<java.lang.String,VerilogParameter> parameters)
VerilogProcess
instantiateProcess(java.util.Map<java.lang.String,VerilogDescriptor> variables, java.util.Map<java.lang.String,VerilogParameter> parameters, java.util.Map<java.lang.String,SvaInstantiation> svaInstances)
SvaInstantiation
instantiateSvaExpression(java.util.Map<java.lang.String,VerilogDescriptor> variables, java.util.Map<java.lang.String,VerilogParameter> parameters)
-
-
-
Constructor Detail
-
VerilogInstantiator
public VerilogInstantiator(VerilogActivity activity, VerilogContext context)
-
VerilogInstantiator
public VerilogInstantiator(VerilogAssign assign, VerilogContext context)
-
VerilogInstantiator
public VerilogInstantiator(SvaAssertionStatement assertion, VerilogContext context)
-
VerilogInstantiator
public VerilogInstantiator(SvaInstantiation instance, VerilogContext context)
-
VerilogInstantiator
public VerilogInstantiator(VerilogDeclaration declaration, VerilogContext context, boolean toAssign)
-
-
Method Detail
-
instantiateProcess
public VerilogProcess instantiateProcess(java.util.Map<java.lang.String,VerilogDescriptor> variables, java.util.Map<java.lang.String,VerilogParameter> parameters, java.util.Map<java.lang.String,SvaInstantiation> svaInstances)
-
instantiateDescriptor
public VerilogDescriptor instantiateDescriptor(VerilogVariable variable, java.util.Map<java.lang.String,VerilogDescriptor> variables, java.util.Map<java.lang.String,VerilogParameter> parameters)
-
instantiateSvaExpression
public SvaInstantiation instantiateSvaExpression(java.util.Map<java.lang.String,VerilogDescriptor> variables, java.util.Map<java.lang.String,VerilogParameter> parameters)
-
-