[sv-bc] Proposal for SV-BC-100

Subject: [sv-bc] Proposal for SV-BC-100
From: Dave Rich (David.Rich@synopsys.com)
Date: Mon Dec 08 2003 - 00:05:42 PST

• Next message: Dave Rich: "[sv-bc] New issue from 12/5 meeting: Clarifications on casting"
• Previous message: Dave Rich: "[sv-bc] Revised proposal for SV-BC-53"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

In  9.2, Replace

• Variables on the left-hand side of assignments within an always_comb procedure shall not be written to by any other processes, whereas always @* permits multiple processes to write to the same variable.

With

• Variables on the left-hand side of assignments within an always_comb procedure, including variables from the contents of a called function, shall not be written to by any other processes, whereas always @* permits multiple processes to write to the same variable.
• Statements in an always_comb shall not include those that block, have blocking timing or event controls, or fork..join statements.
  

In  9.4 replace

The always_ff block imposes the restriction that only one event control is allowed. Software tools can perform additional checks to warn if the behavior within an always_ff procedure does not represent sequential logic.

With

The always_ff block imposes the restrictions that it contains at least one event control and no blocking timing controls. Variables on the left-hand side of assignments within an always_ff procedure, including variables from the contents of a called function, shall not be written to by any other process. Software tools can perform additional checks to warn if the behavior within an always_ff procedure does not represent sequential logic.

-- 
--
David.Rich@Synopsys.com
Technical Marketing Consultant
http://www.SystemVerilog.org
tele:  650-584-4026
cell:  510-589-2625

• Next message: Dave Rich: "[sv-bc] New issue from 12/5 meeting: Clarifications on casting"
• Previous message: Dave Rich: "[sv-bc] Revised proposal for SV-BC-53"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

This archive was generated by hypermail 2b28 : Mon Dec 08 2003 - 00:06:33 PST