Re: PSL: Attributes for Verilog and SystemVerilog

From: Shalom.Bresticker@motorola.com
Date: Wed Mar 17 2004 - 12:03:28 PST

  • Next message: Michael McNamara: "Re: PSL: Attributes for Verilog and SystemVerilog"

    However, there are disadvantages as well.

    If we compare a psl block to a specify block, then first it adds two new
    keywords. Who says that psl is the end and that there won't be a need for
    another new block type and then another and another?

    Second, the exact grammar of specify blocks is specified in the Verilog
    language. Will we have to do that with psl blocks as well?

    Third, if we look at SV Assertions as well, due to their close alignment
    with PSL, is it logical to have completely separate mechanisms for SVA
    and PSL when they have the same core language?

    Fourth, an advantage of the pragma/attribute approach is that you write
    them adjacent to the place where they are relevant instead of at the end
    of the module, far away.

    There are probably solutions to all of these, but it is important to
    recognize that there are issues that have to be dealt with and not get
    into the same complications again that there were and are with config
    blocks, for example.

    Shalom

    On Wed, 17 Mar 2004, Alec Stanculescu wrote:

    > Mac,
    >
    > I fully support your idea of how to include PSL into Verilog and I am
    > even more adamant about not changing the Attribute construct
    > introduced in Verilog 2001.
    >
    > The advantage of the proposed method over the current one where PSL is
    > not embedded is that it will support object oriented description (each
    > module will have its PSL description within it) and will reduce the
    > need for lengthy external references.
    >
    > Formal comments used for PSL is the poor and intelligent man's approach
    > to the problem. It is not a long term solution, we all agree on that. 

    -- 
Shalom Bresticker                           Shalom.Bresticker@motorola.com
Design & Reuse Methodology                             Tel: +972 9 9522268
Motorola Semiconductor Israel, Ltd.                    Fax: +972 9 9522890
POB 2208, Herzlia 46120, ISRAEL                       Cell: +972 50 441478

    [x]Motorola General Business Information
[ ]Motorola Internal Use Only
[ ]Motorola Confidential Proprietary

    This archive was generated by hypermail 2.1.4 : Wed Mar 17 2004 - 11:49:09 PST and
    sponsored by Boyd Technology, Inc.