Home > Community > Forums > Functional Verification > Assertions, assume - Not supported

Email

* Required Fields

Recipients email * (separate multiple addresses with commas)

Your name *

Your email *

Message *

Contact Us

* Required Fields
First Name *

Last Name *

Email *

Company / Institution *

Comments: *

 Assertions, assume - Not supported 

Last post Fri, Jul 12 2013 1:20 AM by Buvna. 0 replies.
Started by Buvna 12 Jul 2013 01:20 AM. Topic has 0 replies and 373 views
Page 1 of 1 (1 items)
Sort Posts:
  • Fri, Jul 12 2013 1:20 AM

    • Buvna
    • Top 500 Contributor
    • Joined on Fri, May 31 2013
    • Posts 19
    • Points 245
    Assertions, assume - Not supported Reply

    Hello,

    I've written few assertions in psl and have constrained them or asserted them in the tool.

    When I go to the source browser containing these, and choose Display values, I get Not Supported.

    Does this mean my assertions are not supported by the tool or the value display isnt supported?

    Thanks. 

    Filed under:
    • Post Points: 5
Page 1 of 1 (1 items)
Sort Posts:
Started by Buvna at 12 Jul 2013 01:20 AM. Topic has 0 replies.