PSL Help

[Shail]

Hi,

How Do I do data checking in PSL ?

I have a module where a data is putup once every 2 ms. I can check that
data comes out every 2 ms, but how do I check that the data is as
expected.. ( I have the expected data)

I wanted to know, if there is any group specific to PSL ?

Thanks
Shailesh

 

[Ajeetha]

Hi Shaliesh,
Try using forall construct.

property psl_data_check =
forall data_to_be_checked in {0:255} :
always {capture_data && (data_in == data_to_be_checked)} |=>
{data_out_vld && (data_out == data_to_be_checked)};
^^^^^^^
This is checking at very next clock, you may need to intorduce
your timing here.

Having said that - I don't believe it is the right way to do this check
- you are better off using regular testbench checker for data integrity
checks and check latency requirements via PSL/SVA. BTW, in SVA this is
much easier and flexible.

Not sure if your tools support forall today!

HTH
Ajeetha
http://www.abv-psl.org


Shail wrote:

Hi,

How Do I do data checking in PSL ?

I have a module where a data is putup once every 2 ms. I can check
that
data comes out every 2 ms, but how do I check that the data is as
expected.. ( I have the expected data)

I wanted to know, if there is any group specific to PSL ?

Thanks
Shailesh

 

[Alexander Gnusin]

"Shail" <shailesh.dave@gmail.com> wrote in message news:<1111098342.922131.153230@g14g2000cwa.googlegroups.com>...

Hi,

How Do I do data checking in PSL ?

I have a module where a data is putup once every 2 ms. I can check that
data comes out every 2 ms, but how do I check that the data is as
expected.. ( I have the expected data)

Looks like there is no need for PSL in this specific case: just
compare expected data you already have with the actual data and take
some action in a case of mismatch...

I wanted to know, if there is any group specific to PSL ?

www.verificationguild.com is a right place to ask PSL-specific
questions.

Regards,
Alexander Gnusin