Home > Community > Forums > Functional Verification > i want to check these assume properties are correct

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: *

 i want to check these assume properties are correct 

Last post Thu, Nov 21 2013 1:33 AM by BharathECE. 0 replies.
Started by BharathECE 21 Nov 2013 01:33 AM. Topic has 0 replies and 2177 views
Page 1 of 1 (1 items)
Sort Posts:
  • Thu, Nov 21 2013 1:33 AM

    • BharathECE
    • Not Ranked
    • Joined on Fri, Mar 22 2013
    • Hyderabad, Andhra Pradesh
    • Posts 12
    • Points 210
    i want to check these assume properties are correct Reply

    Hi,

    I wrote some of the assumptions in my fifo design and now  the assertion passing in my design.Before assemptions that assert property was failing.

     

    assumptions are as below:

    ///Assumtion to check underflow: 

     assume_underflow :assume property(assume_property_underflow) $info("assumption holds"); else $error("Assumption failed underflow");

    property assume_property_underflow;

      @(posedge clk)

      (!read && empty); /*$info("Assumption undeflow holds"); 

                                              else $error("Assertion underflow does not hold");*/

    endproperty

    ///Assumtion to check overflow:

     assume_overflow :assume property(assume_property_overflow) else $error("Assumption failed overflow");

     

    property assume_property_overflow;

      @(posedge clk)

      ((!write or !read) and full);  /*$info("Assumption overflow holds"); 

                                              else $error("Assumption overflow does not hold");*/

    endproperty 

    Please see these logics are correct? 

     

     

     

     

     

     

    • Post Points: 5
Page 1 of 1 (1 items)
Sort Posts:
Started by BharathECE at 21 Nov 2013 01:33 AM. Topic has 0 replies.