Class SvaAssertionStatement

    • Constructor Detail

      • SvaAssertionStatement

        public SvaAssertionStatement​(VerilogNode parent)
        Creates a new assertion statement.
        Parameters:
        parent - - the specified parent node.
    • Method Detail

      • setExpression

        public void setExpression​(VerilogExpression expression)
        Sets the immediate assertion expression.
        Parameters:
        expression - - the specified VerilogExpression.
      • getExpression

        public VerilogExpression getExpression()
        Returns the immediate assertion expression.
        Returns:
        the assertion expression.
      • setProperty

        public void setProperty​(SvaProperty property)
        Sets the concurrent assertion property.
        Parameters:
        property - - the specified SvaProperty.
      • getProperty

        public SvaProperty getProperty()
        Returns the concurrent assertion property.
        Returns:
        the assertion property.
      • isConcurrent

        public boolean isConcurrent()
        Shows whether the assertion is concurrent.
        Returns:
        true if the assertion is concurrent, false otherwise.
      • isImmediate

        public boolean isImmediate()
        Shows whether the assertion is immediate.
        Returns:
        true if the assertion is immediate, false otherwise.
      • isAssert

        public boolean isAssert()
        Shows whether the statement is 'assert'.
        Returns:
        true if the statement is 'assert', false otherwise.
      • isAssume

        public boolean isAssume()
        Shows whether the statement is 'assume'.
        Returns:
        true if the statement is 'assume', false otherwise.
      • isProcedural

        public boolean isProcedural()
        Shows whether the statement is located in the procedural code.
        Returns:
        true if the statement is procedural, false otherwise.
      • setProcedural

        public void setProcedural()
        Makes the statement procedural.