Re: [sv-ac] Usage of assume statements and BNF.

Subject: Re: [sv-ac] Usage of assume statements and BNF.
From: Brad Pierce (Brad.Pierce@synopsys.com)
Date: Wed Feb 25 2004 - 09:19:31 PST

• Next message: David W. Smith: "RE: [sv-ac] Usage of assume statements and BNF."
• Previous message: Adam Krolnik: "[sv-ac] Usage of assume statements and BNF."
• In reply to: Adam Krolnik: "[sv-ac] Usage of assume statements and BNF."
• Next in thread: David W. Smith: "RE: [sv-ac] Usage of assume statements and BNF."
• Reply: Brad Pierce: "Re: [sv-ac] Usage of assume statements and BNF."
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Adam,

Could you please check out

     http://www.eda-twiki.org/sv-ac/hm/att-1248/01-concurrent_assertions_bnf.htm

of LRM-240 and see if it satisfies your concerns on this issue.

Thanks,

-- Brad

• Next message: David W. Smith: "RE: [sv-ac] Usage of assume statements and BNF."
• Previous message: Adam Krolnik: "[sv-ac] Usage of assume statements and BNF."
• In reply to: Adam Krolnik: "[sv-ac] Usage of assume statements and BNF."
• Next in thread: David W. Smith: "RE: [sv-ac] Usage of assume statements and BNF."
• Reply: Brad Pierce: "Re: [sv-ac] Usage of assume statements and BNF."
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

This archive was generated by hypermail 2b28 : Wed Feb 25 2004 - 09:26:31 PST