[sv-ac] recommendation from SVA/PSL Alignment Subcommittee

Subject: [sv-ac] recommendation from SVA/PSL Alignment Subcommittee
From: John Havlicek (john.havlicek@motorola.com)
Date: Fri Sep 26 2003 - 06:46:08 PDT

• Next message: John Havlicek: "[sv-ac] what is affected by default clocking?"
• Previous message: David W. Smith: "[sv-ac] Minutes and presentations from the Face to face meeting"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

All:

The SVA/PSL Alignment Subcommittee recommends, as a matter
of alignment, that the SVA formal semantics be changed to
eliminate the special treatment of negated booleans
in the clock rewrite rules.

The following two changes to the formal semantics
are recommended:

1. p. 347, G.3.1. Delete

      * @(c) not b ---> @(c) !b.

2. p. 347, G.3.1. Change

      * @(c) not R ---> not @(c) R, provided R is not a boolean expression

   to

      * @(c) not R ---> not @(c) R

Best regards,

John Havlicek

• Next message: John Havlicek: "[sv-ac] what is affected by default clocking?"
• Previous message: David W. Smith: "[sv-ac] Minutes and presentations from the Face to face meeting"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

This archive was generated by hypermail 2b28 : Fri Sep 26 2003 - 06:47:20 PDT