How to Classify the various checks for any given protocol: S

[RSGUPTA]

Hi,
I just wanted to know how would we go on about classification of
various checkers in SV on a broader sense for any given protocol.

Can anyone list down based on the personal experience or on the
industry standard.
Also if anyone can point it out if any papers have been presented on
this.

Regards

 

[RSGUPTA]

On Feb 3, 10:34 am, RSGUPTA <rsgupta.gu...@gmail.com> wrote:

Hi,
I just wanted to know how would we go on about classification of
various checkers in SV on a broader sense for any given protocol.

Can anyone list down based on the personal experience or on the
industry standard.
Also if anyone can point it out if any papers have been presented on
this.

Regards

If any one of you is working on Cadence tool and having the Incisive
license, Could you please mail me the SystemVerilog assertions
documents titled: Assertion Writing Guide and SVA Quick Reference
Guide pdfs.

It would be very much usefull to me.

 

[Jonathan Bromley]

On Mon, 2 Feb 2009 21:34:08 -0800 (PST), RSGUPTA wrote:

I just wanted to know how would we go on about classification of
various checkers in SV on a broader sense for any given protocol.

Broader than what?

Your question is rather vague, and it would probably help if
you could be a little clearer about what you are trying
to discover.

Since this is a methodology rather than a language question,
you are more likely to get a good response on

www.verificationguild.com

I guess you're already familiar with the characterization
of properties as invariant, safety or liveness. Is that
the kind of classification you're talking about?
--
Jonathan Bromley, Consultant

DOULOS - Developing Design Know-how
VHDL * Verilog * SystemC * e * Perl * Tcl/Tk * Project Services

Doulos Ltd., 22 Market Place, Ringwood, BH24 1AW, UK
jonathan.bromley@MYCOMPANY.com
http://www.MYCOMPANY.com

The contents of this message may contain personal views which
are not the views of Doulos Ltd., unless specifically stated.

 

[RSGUPTA]

On Feb 4, 2:11 pm, Jonathan Bromley <jonathan.brom...@MYCOMPANY.com>
wrote:

On Mon, 2 Feb 2009 21:34:08 -0800 (PST), RSGUPTA wrote:
I just wanted to know how would we go on about classification of
various checkers in SV on a broader sense for any given protocol.

Broader than what?

Your question is rather vague, and it would probably help if
you could be a little clearer about what you are trying
to discover.

Since this is a methodology rather than a language question,
you are more likely to get a good response on

 www.verificationguild.com

I guess you're already familiar with the characterization
of properties as invariant, safety or liveness.  Is that
the kind of classification you're talking about?
--
Jonathan Bromley, Consultant

DOULOS - Developing Design Know-how
VHDL * Verilog * SystemC * e * Perl * Tcl/Tk * Project Services

Doulos Ltd., 22 Market Place, Ringwood, BH24 1AW, UK
jonathan.brom...@MYCOMPANY.comhttp://www.MYCOMPANY.com

The contents of this message may contain personal views which
are not the views of Doulos Ltd., unless specifically stated.

Hi Jonathan,
Well rather let me put my question in simple terms:
To start writing SVA for any given protocol in one of the papers i had
read that they basically classify the tests into following categories:
1) WELL DEFINED CHECKS : to check x or z onto a signal
2) BASIC PROTOCOL CHECKS : to check values @ reset and initial
conditions
3) CYCLE CHECKS: To check that every CYCLE is a valid cycle for the
protocol
4) STABLITY CHECKS : To check whether signals are stable during some
hold conditions
5) VALID TRANSACTIONS : To check if the transactions occurred were
valid or not.
etc...
So are these the only broader level of classification one can expect.

Hope my question is clear now...