Home > Community > Forums > Functional Verification > Help needed on temporal expressions with detach

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

 Help needed on temporal expressions with detach 

Last post Wed, Jun 13 2012 12:19 AM by jaichandra. 2 replies.
Started by jaichandra 07 Jun 2012 11:59 PM. Topic has 2 replies and 3488 views
Page 1 of 1 (3 items)
Sort Posts:
  • Thu, Jun 7 2012 11:59 PM

    Help needed on temporal expressions with detach Reply

    Hi everyone

         I am having trouble in writing a temporal expression using detach construct in e langauge. Any help is greatly appreciated.

        There are two events A and B in my environment. everytime B event happens A should have happened 0~3 clocks earlier.

        My temporal expression looks like below.

        expect @B => detach({@A;~[..3]})@clk else dut_error("B event error");

        In my simulation event B happens a total of 4 times. But the dut error is issued only once i.e. for the very first B event.

        I am wondering why the error is not issued for 2nd, 3rd and 4th events of B.

       I am using specman 10.2 version.

      - regards

        Jayachandra

    • Post Points: 20
  • Fri, Jun 8 2012 1:38 AM

    • StephenH
    • Top 25 Contributor
    • Joined on Tue, Sep 2 2008
    • Bristol, Avon
    • Posts 278
    • Points 4,450
    Re: Help needed on temporal expressions with detach Reply

    Hello Jayachandra.

    Your TE works fine for me, try the attached example using "irun te.v te.e -nosncomp".

    Steve. 

    Steve Hobbs / Applications Engineer / Cadence Functional Verification
    • Post Points: 20
  • Wed, Jun 13 2012 12:19 AM

    Re: Help needed on temporal expressions with detach Reply

    Hello steve,

                     Thanks for you help. My TE is working fine as expected. The issue was i was running the simulation in GUI mode

    without setting the ERROR_CONTINUE. The first time i get the TE error i again issue the "run" command to the simulator.

    strangely second run command to the simulator there was no more TE errors even though the event B issued 3 more times.

    Anyway when i run with ERROR_CONTINUE setting or in batch mode, error is appearing for four times as expected.

      Thanks a lot for you help and time. Have a nice day

      - regards

        Jayachandra

    • Post Points: 5
Page 1 of 1 (3 items)
Sort Posts:
Started by jaichandra at 07 Jun 2012 11:59 PM. Topic has 2 replies.