RE: synchronous abort operator

From: Erich Marschner <erichm@cadence.com>
Date: Tue Jan 11 2005 - 11:38:57 PST

Andrew,
 
Speaking as chair of the Extensions SC: In the Extensions SC meeting today, we agreed that addition of a synchronous abort capability is worth pursuing, but that it would be deferred for now and will not make it into the June 2005 release. So the abort issue will be maintained in the Issues List for later discussion, and your comments will be noted in that context.
 
Speaking as myself (so that in the future, the above comments will not be misconstrued as reflecting my personal opinion): I agree completely that there is a much greater need for synchronous abort than for asynchronous abort, and I would prefer to see this in the language now. Nonetheless, I've agreed (reluctantly) to accept the status quo for now, in the interest of meeting our short-term goals.
 
Regards,
 
Erich

________________________________

        From: owner-ieee-1850-extensions@eda.org [mailto:owner-ieee-1850-extensions@eda.org] On Behalf Of Seawright, Andrew
        Sent: Tuesday, January 11, 2005 2:27 PM
        To: ieee-1850-extensions@eda.org
        Subject: synchronous abort operator
        
        
        I would like to see a synchronous abort operator in PSL. If we must have an async
        abort operator semantics, then I would be in favor of another operator or way
        to denote a synchronous abort.
         
        For applications where the PSL assertions are clocked, most "disable"
        applications can be stated in synchronously. If the abort is synchronous,
        then the tools have more flexibility in terms of implementation and optimization.
         
        Andrew
          
         
         
Received on Tue Jan 11 11:39:13 2005

This archive was generated by hypermail 2.1.8 : Tue Jan 11 2005 - 11:39:15 PST